Fix .zshrc

This commit is contained in:
Fabio Scotto di Santolo
2020-02-04 18:46:13 +01:00
parent d44268ba72
commit a41db289fb

12
.zshrc
View File

@@ -70,8 +70,7 @@ ZSH_CUSTOM=$ZSH/custom
# Add wisely, as too many plugins slow down shell startup. # Add wisely, as too many plugins slow down shell startup.
plugins=( plugins=(
archlinux archlinux
autopep8 autopep8
cabal
cargo cargo
colored-man-pages colored-man-pages
colorize colorize
@@ -112,8 +111,7 @@ plugins=(
pipenv pipenv
profiles profiles
pylint pylint
python python
rebar
redis-cli redis-cli
rust rust
sdk sdk
@@ -262,11 +260,7 @@ export NVM_DIR="$HOME/.nvm"
welcome welcome
eval $(thefuck --alias) eval $(thefuck --alias)
# opam configuration #THIS MUST BE AT THE END OF THE FILE FOR SDKMAN TO WORK!!!
test -r /home/plague/.opam/opam-init/init.zsh && . /home/plague/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true
# opam configuration
test -r /home/plague/.opam/opam-init/init.zsh && . /home/plague/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true#THIS MUST BE AT THE END OF THE FILE FOR SDKMAN TO WORK!!!
export SDKMAN_DIR="/home/plague/.sdkman" export SDKMAN_DIR="/home/plague/.sdkman"
[[ -s "/home/plague/.sdkman/bin/sdkman-init.sh" ]] && source "/home/plague/.sdkman/bin/sdkman-init.sh" [[ -s "/home/plague/.sdkman/bin/sdkman-init.sh" ]] && source "/home/plague/.sdkman/bin/sdkman-init.sh"