diff options
| author | Andreas Maunz <andreas@maunz.de> | 2011-03-31 09:03:49 +0200 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2011-03-31 09:03:49 +0200 |
| commit | e026bc2a2d45d0c895bd5ed54bacb32c3ec0c419 (patch) | |
| tree | 04a944517b48ec076aea21f4e0638138112a367d /base-install.sh | |
| parent | 0dafbab46c52ec6c376f8a6a74d1cb639b23be39 (diff) | |
openbabel.sh
Diffstat (limited to 'base-install.sh')
| -rwxr-xr-x | base-install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/base-install.sh b/base-install.sh index e1d8bf2..23098fc 100755 --- a/base-install.sh +++ b/base-install.sh @@ -95,8 +95,8 @@ if [ ! -f $JAVA_CONF ]; then exit 1 fi - echo "export JAVA_HOME=$JAVA_HOME" >> "$JAVA_CONF" - echo "export PATH=$JAVA_HOME:\$PATH" >> "$JAVA_CONF" + echo "if ! [[ \"\$JAVA_HOME\" =~ \"$JAVA_HOME\" ]]; then export JAVA_HOME=\"$JAVA_HOME\"; fi" >> "$JAVA_CONF" + echo "if ! [[ \"\$PATH\" =~ \"$JAVA_HOME\" ]]; then export PATH=\"$JAVA_HOME:\$PATH\"; fi" >> "$JAVA_CONF" echo "Java configuration has been stored in '$JAVA_CONF'." if ! grep "$JAVA_CONF" $HOME/.bashrc >/dev/null 2>&1; then |