From a41db289fbcaffd9e2c8af05df2892ef3b051725 Mon Sep 17 00:00:00 2001
From: Fabio Scotto di Santolo <fabio.scottodisantolo@gmail.com>
Date: Tue, 4 Feb 2020 18:46:13 +0100
Subject: [PATCH] Fix .zshrc

---
 .zshrc | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

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