Re: Exit code 130 kills pipeline

[Mikael Magnusson <mikachu@xxxxxxxxx>]

On 6/17/20, Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx> wrote:
> 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.

I get no output from
zsh -c '( exit 130 ) | { sleep 1; echo hello }'
but i do get output from
zsh -ic '( exit 130 ) | { sleep 1; echo hello }'
and again no output from
zsh -fic '( exit 130 ) | { sleep 1; echo hello }'

so it's probably something weird :).

-- 
Mikael Magnusson