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

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

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