From c04b5bbea05e25a31ad2bb213ca0cc50e1feeea2 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Tue, 30 Oct 2018 22:19:20 +0800 Subject: [PATCH] Some TODO --- ghcup | 1 + 1 file changed, 1 insertion(+) diff --git a/ghcup b/ghcup index b31b537..d65c7c9 100755 --- a/ghcup +++ b/ghcup @@ -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