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