addpath/addmanpath

Assignments like

PATH=/usr/bin:/usr/local/bin:/usr/ucb/bin

are not very easy to maintain. Using a function at this point will make life much easier.

First we need a function for addpath:

        # construct PATH

        unset PATH # if PATH is set, unset it

        addpath() {
            if [ -d "$1" ]; then
                if [ X"$PATH" = "X" ]; then
                    PATH=$1
                else
                    if echo "$PATH" | grep -v "$1" >/dev/null 2>&1
                    then
                        PATH=$PATH:$1
                    fi
                fi
            fi
        }

Done! Now lets add the PATH we need:

        PATH=
        addpath /bin
        addpath /sbin
        addpath /usr/bin
        addpath /usr/sbin
        addpath $HOME/bin    # bin in HOMEDIR

At last we have to export the variable:

        export PATH

Thats it! Now we have a nice looking PATH. Put this in your .profile or .bashrc and you are ready to go.
If you need a new PATH set just call the funktion (addpath) with the wanted path as attribute.

And for the clever one, change all the stuff for addmanpath ;)

ReinholdFarsch/PATH (zuletzt geändert am 2007-12-23 22:45:23 durch localhost)