1 2$SH -c '{ { :; } </var/empty/x; } 2>/dev/null || kill -INT $$; echo continued' 3r=$? 4[ "$r" -gt 128 ] && [ "$(kill -l "$r")" = INT ] 5