better path quoting in profile.d cabal-install.sh (Chris King-Parra, #1683879)

This commit is contained in:
Jens Petersen 2019-03-02 18:45:03 +08:00
parent 5edb090cdf
commit 362f69476a
1 changed files with 2 additions and 2 deletions

View File

@ -1,8 +1,8 @@
CABALBIN=${HOME}/.cabal/bin
CABALBIN="${HOME}/.cabal/bin"
if ! echo "${PATH}" | /bin/grep -q "${CABALBIN}" ; then
if [ -d "${CABALBIN}" ]; then
PATH=${PATH}:${CABALBIN}
PATH="${PATH}:${CABALBIN}"
fi
fi
unset CABALBIN