common.sh 331 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
UpdatePATH() {
    if [ -z "${PATH_CMD}" ] ; then
        echo You forgot to set your PATH_CMD. Aborting...
        exit 1
    fi
11
    grep "${PATH_CMD}$" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
12
}