hasufell
/
ghcup
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

posix_realpath: if dir does not exist also append to current dir 

This matches realpath behavior.
This commit is contained in:
Julian Ospald 2019-04-18 11:37:42 +08:00
parent 6e1ee078cc
commit 17aafe3439
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ghcup
View File

@ -1127,7 +1127,7 @@ get_distro_alias() {
# and # and
# https://stackoverflow.com/a/246128 # https://stackoverflow.com/a/246128
# #
# If the file does not exist, just prints the argument unchanged. # If the file does not exist, just prints it appended to the current directory.
# @STDOUT: realpath of the given file # @STDOUT: realpath of the given file
posix_realpath() { posix_realpath() {
[ -z "$1" ] && die "Internal error: no argument given to posix_realpath" [ -z "$1" ] && die "Internal error: no argument given to posix_realpath"
@ -1151,8 +1151,6 @@ posix_realpath() {
# TODO: better distinguish between "does not exist" and "permission denied" # TODO: better distinguish between "does not exist" and "permission denied"
if [ -z "${mydir}" ] ; then if [ -z "${mydir}" ] ; then
(>&2 echo "${1}: Permission denied") (>&2 echo "${1}: Permission denied")
elif [ ! -e "$1" ] ; then
echo "${mysource}"
else else
echo "${mydir%/}/$(basename "${mysource}")" echo "${mydir%/}/$(basename "${mysource}")"
fi fi