From 032d3d018e486669b22f7cfdca2cb3f8aff9da9d Mon Sep 17 00:00:00 2001 From: Morgan Wattiez Date: Mon, 22 Jul 2019 09:35:25 +0200 Subject: [PATCH] no need to bash_profile --- dot_bash_profile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/dot_bash_profile b/dot_bash_profile index 8acce0a..e69de29 100644 --- a/dot_bash_profile +++ b/dot_bash_profile @@ -1,4 +0,0 @@ - -#THIS MUST BE AT THE END OF THE FILE FOR SDKMAN TO WORK!!! -export SDKMAN_DIR="/Users/morganwattiez/.sdkman" -[[ -s "/Users/morganwattiez/.sdkman/bin/sdkman-init.sh" ]] && source "/Users/morganwattiez/.sdkman/bin/sdkman-init.sh"