#RUN: %fish %s
exec cat <nosuchfile
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
#CHECKERR: open: No such file or directory
echo "failed: $status"
#CHECK: failed: 1
not exec cat <nosuchfile
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
#CHECKERR: open: No such file or directory
echo "neg failed: $status"
#CHECK: neg failed: 0

set -l f (mktemp)
echo "#!/bin/sh"\r\n"echo foo" > $f
chmod +x $f
# Cheesy sleep to avoid "text file is busy"
sleep 0.2
$f
#CHECKERR: Failed to execute process '{{.*}}'. Reason:
#CHECKERR: The file uses windows line endings (\r\n). Run dos2unix or similar to fix it.

# This needs to be last, because it actually runs exec.
exec cat </dev/null
echo "not reached"