Basically the proposed patch needs one more hack:
If $dir is not a symlink, readlink returns nothing, so:

    link=`/bin/readlink -f "$dir"`
    if [ "x$link" != "x" ]; then
        dir="$link"
    fi

-- 
Francesco P. Lovergine

Reply via email to