diff options
| author | Charles Cabergs <charles.cabergs@colruytgroup.com> | 2022-06-10 15:34:37 +0200 |
|---|---|---|
| committer | Charles Cabergs <charles.cabergs@colruytgroup.com> | 2022-06-10 15:34:37 +0200 |
| commit | 414a32702300e073d221d462599dd92f11ed9411 (patch) | |
| tree | 321b4078940f1c4d806d0cde279a09bd985c2b0d /config/zsh | |
| parent | 0f6ae6983de4c76f282add379f356ad68ff6d729 (diff) | |
| download | dotfiles-414a32702300e073d221d462599dd92f11ed9411.tar.gz dotfiles-414a32702300e073d221d462599dd92f11ed9411.tar.bz2 dotfiles-414a32702300e073d221d462599dd92f11ed9411.zip | |
Added ocaml neovim lsp, removing gutentags
Diffstat (limited to 'config/zsh')
| -rw-r--r-- | config/zsh/.zshrc | 19 | ||||
| -rwxr-xr-x | config/zsh/zprofile | 1 |
2 files changed, 11 insertions, 9 deletions
diff --git a/config/zsh/.zshrc b/config/zsh/.zshrc index 9e9f583..e7dac3d 100644 --- a/config/zsh/.zshrc +++ b/config/zsh/.zshrc @@ -66,15 +66,15 @@ chpwd() { [ "$(uname)" = 'Linux' ] && [ "$(stat -c "%U" .)" = "$USER" ] && touch . # to sort by last cd # change conda env if name of the directory is the name of an env - [ ! -d "$PWD/.git" ] && return - name="$(basename "$PWD")" - [ "$name" = $CONDA_DEFAULT_ENV ] && return - [ ! -e "$HOME/conda_envs" ] && conda env list > "$HOME/conda_envs" - < "$HOME/conda_envs" \ - cut -d ' ' -f 1 | - sed -e '/^#/d' -e '/^$/d' -e '/^base$/d' | - grep -q "$name" && - conda activate "$name" + # [ ! -d "$PWD/.git" ] && return + # name="$(basename "$PWD")" + # [ "$name" = $CONDA_DEFAULT_ENV ] && return + # [ ! -e "$HOME/conda_envs" ] && conda env list > "$HOME/conda_envs" + # < "$HOME/conda_envs" \ + # cut -d ' ' -f 1 | + # sed -e '/^#/d' -e '/^$/d' -e '/^base$/d' | + # grep -q "$name" && + # conda activate "$name" } # https://wiki.archlinux.org/title/Zsh#Shortcut_to_exit_shell_on_partial_command_line @@ -136,3 +136,4 @@ if [ -f "/usr/local/anaconda3/etc/profile.d/mamba.sh" ]; then fi # <<< conda initialize <<< +eval "$(opam env)" diff --git a/config/zsh/zprofile b/config/zsh/zprofile index 6476dd7..ecf3ca7 100755 --- a/config/zsh/zprofile +++ b/config/zsh/zprofile @@ -10,6 +10,7 @@ then export PATH="/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin" export PATH="$PATH:$HOME/.brew/bin:$HOME/git/dotfiles/bin:$HOME/bin:/usr/local/anaconda3/bin" export PATH="$PATH:$HOME/.local/share/go/bin" + export PATH="$PATH:$HOME/.local/bin" export MAIL='charles.cabergs@colruytgroup.com' export SUDO='sudo' export LC_CTYPE='en_US.UTF-8' |