Changeset: 2cf535c58c27 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=2cf535c58c27 Modified Files: MacOSX/post-install.sh Branch: Jun2016 Log Message:
Merge with Jul2015 branch. 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
