common.sh 330 Bytes
Newer Older
1 2 3
TASTE_PATHS=$HOME/.bashrc.taste
PREFIX=$HOME/tool-inst

4 5
[ -e $HOME/.bashrc.taste ] && . $HOME/.bashrc.taste

6 7 8 9 10 11 12
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}
}