Ali Mohammad Pur 783e27f8f9 Shell: Make redirection errors raise ShellErrors ...

Naturally, this means that a command with a failing redirection will
not start, and so will terminate the pipeline (if any).
This also applies to the `exit` run when the shell is closed, fixing a
fun bug there as well (thanks to Discord user Salanty for pointing that
out) where closing the terminal (i.e. I/O error on the tty) with a
failing `exit` command would make the shell retry executing `exit` every
time, leading to an eventual stack overflow.

2021-12-31 02:19:45 +03:30

66 KiB

Raw Blame History

View Raw