2019-03-02 10:45:03 +00:00
|
|
|
CABALBIN="${HOME}/.cabal/bin"
|
2014-02-24 04:35:29 +00:00
|
|
|
|
2018-09-21 08:50:13 +00:00
|
|
|
if ! echo "${PATH}" | /bin/grep -q "${CABALBIN}" ; then
|
|
|
|
if [ -d "${CABALBIN}" ]; then
|
2019-03-02 10:45:03 +00:00
|
|
|
PATH="${PATH}:${CABALBIN}"
|
2014-02-24 04:35:29 +00:00
|
|
|
fi
|
|
|
|
fi
|
|
|
|
unset CABALBIN
|