Return exit code 127 if a command is not found

This commit is contained in:
Eelco Dolstra 2013-05-15 12:47:17 +02:00
parent 73a03ab205
commit 0277126699

View File

@ -34,9 +34,12 @@ in
# Retry the command if we just installed it. # Retry the command if we just installed it.
if [ $? = 126 ]; then if [ $? = 126 ]; then
"$@" "$@"
else
return 127
fi fi
else else
echo "$1: command not found" >&2 echo "$1: command not found" >&2
return 127
fi fi
} }
''; '';