parser/html/java/htmlparser/mozilla-export-scripts/util.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#!/usr/bin/env sh

abs() {
    local rel
    local p
    if [ $# -ne 1 ]
    then
        rel=.
    else
        rel=$1
    fi
    if [ -d $rel ]
    then
        pushd $rel > /dev/null
        p=`pwd`
        popd > /dev/null
    else
        pushd `dirname $rel` > /dev/null
        p=`pwd`/`basename $rel`
        popd > /dev/null
    fi
    echo $p
}