diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 11:36:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 11:36:57 +0100 |
commit | 0454d4f768f554293a8b605cf07ce342bf592bf0 (patch) | |
tree | f30c4b32c33d4565359e7ac289b42ce3bb5f6529 /zsh | |
parent | cecca6bf04bca8b1176d0c9fc7991b304e27ba32 (diff) | |
download | dotfiles-0454d4f768f554293a8b605cf07ce342bf592bf0.tar.gz dotfiles-0454d4f768f554293a8b605cf07ce342bf592bf0.zip |
Remove lfscsigs and opam
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zsh/export.zsh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index 3a277c1..46b6118 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -13,7 +13,7 @@ export VISUAL='emacsclient -c' export TERM='xterm-256color' export CLICOLOR=1 -export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" +#export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" prepend_path() { [ -d "$1" ] && PATH="$1:$PATH" @@ -64,11 +64,11 @@ command -v direnv >/dev/null 2>&1 [ "$?" -eq 0 ] && eval "$(direnv hook zsh)" # Opam hook setup and initialising it -command -v opam >/dev/null 2>&1 -if [ "$?" -eq 0 ]; then - test -r /home/yannherklotz/.opam/opam-init/init.zsh && . /home/yannherklotz/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true - eval "$(opam env)"; -fi +# command -v opam >/dev/null 2>&1 +# if [ "$?" -eq 0 ]; then +# test -r /home/yannherklotz/.opam/opam-init/init.zsh && . /home/yannherklotz/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true +# eval "$(opam env)"; +# fi # Load rust environment [ -r "$HOME/.cargo/env" ] && source $HOME/.cargo/env |