common.sh 277 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
TASTE_PATHS=$HOME/.bashrc.taste
PREFIX=$HOME/tool-inst

UpdatePATH() {
    if [ -z "${PATH_CMD}" ] ; then
        echo You forgot to set your PATH_CMD. Aborting...
        exit 1
    fi
    grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
}