No subject

Tue Nov 29 10:43:08 WST 2011

head_path ()
{
    if [ ! $# = 1 ]
    then
        return
    fi
    if [ -d $1 ]
    then
        path=("$1" $path)
    fi
}

export JAVA_HOME="/opt/java/j2sdk"
head_path "$JAVA_HOME/bin"
head_path "$JAVA_HOME/jre/bin"
head_path "$JAVA_HOME/bin/i386/native_threads"
head_path "$JAVA_HOME/jre/bin/i386/native_threads"

-grahame