Some TODO

2018-10-30 22:19:20 +08:00 · 2018-10-30 22:19:20 +08:00 · c04b5bbea0
commit c04b5bbea0
parent abfca7fa75
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -893,6 +893,7 @@ posix_realpath() {
    done
    mydir="$( cd -P "$( dirname "${mysource}" )" > /dev/null 2>&1 && pwd )"

+    # TODO: better distinguish between "does not exist" and "permission denied"
    if [ -z "${mydir}" ] ; then
        (>&2 echo "${1}: Permission denied")
    elif [ ! -e "$1" ] ; then