Changeset: a93d4305f49b for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=a93d4305f49b Modified Files: MacOSX/post-install.sh Branch: Jul2015 Log Message:
Properly check whether the MonetDB bin directory is already in $PATH. This should fix bug 3984. diffs (21 lines): diff --git a/MacOSX/post-install.sh b/MacOSX/post-install.sh --- a/MacOSX/post-install.sh +++ b/MacOSX/post-install.sh @@ -2,6 +2,14 @@ monetdb_path=/usr/local/monetdb/bin -if [[ ":$PATH:" != *":$monetdb_path:"* ]]; then - printf '\n# Set MonetDB path\nexport PATH=$PATH:'$monetdb_path'\n' >> ~/.profile -fi +case $PATH in +*:$monetdb_path|*:$monetdb_path:*|$monetdb_path:*) + ;; +*) + cat >> ~/.profile <<EOF + +# Set MonetDB path +export PATH=\$PATH:$monetdb_path +EOF + ;; +esac _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
