From 0454d4f768f554293a8b605cf07ce342bf592bf0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 7 Oct 2021 11:36:57 +0100 Subject: Remove lfscsigs and opam --- zsh/.zsh/export.zsh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'zsh') 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 -- cgit