commit d68adbb5f6974d993982d72787991e3d6b08e2a4
parent f13487275569a59c4364bf5bea103f567448c217
Author: Alex Balgavy <a.balgavy@gmail.com>
Date: Mon, 12 Aug 2019 09:57:23 +0200
zshrc: avoid duplicating jenv in path
Former-commit-id: 0f0104e46231fd815fc7ddc90e5267031ab8cdc8
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/shell/zshrc b/shell/zshrc
@@ -119,7 +119,9 @@ fi
# jenv
if command -v jenv &> /dev/null; then
- export PATH="$HOME/.jenv/bin:$PATH"
+ if [[ $PATH != *"$HOME/.jenv/bin"* ]]; then
+ export PATH="$HOME/.jenv/bin:$PATH"
+ fi
eval "$(jenv init -)"
export JAVA_HOME="/Library/Java/JavaVirtualMachines/jdk1.8.0_202.jdk/Contents/Home"
fi