__prompt_exit() { if [ "$3" -eq 0 ] then return 0 elif [ "$3" -lt 128 ] then printf "$1" "$3" else __prompt_exit_signal="$(kill -l "$(($3 - 128))" 2> '/dev/null')" if ! [ "$__prompt_exit_signal" ] then printf "$1" "$3" return 0 fi for __prompt_exit_signal_mask in $2 do if [ "$__prompt_exit_signal" = "$__prompt_exit_signal_mask" ] then return 0 fi done printf "$1" "$__prompt_exit_signal" fi }