Re: Exit code 130 kills pipeline

[Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>]

On Wed, Jun 17, 2020 at 7:42 PM Mikael Magnusson <mikachu@xxxxxxxxx> wrote:
>
> On 6/17/20, Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx> wrote:
> > Is it expected that the following command produces no output?
> >
> >   ( exit 130 ) | { sleep 1; echo hello }
>
> No?

Good point. I should've specified the environment.

% docker run -it --rm zshusers/zsh:5.8 \
  zsh -c '( exit 130 ) | { sleep 1; echo hello }'

(no output)

Roman.