Re: kill the LHS command of a pipe once the RHS command terminates

[Vincent Lefevre <vincent@xxxxxxxxxx>]

On 2019-07-30 01:08:17 +0200, Vincent Lefevre wrote:
> With "kill -9", this is a bit better:
> 
> zira% (trap '' INT; svn log | { (trap - INT; less;); kill -9 0; })
> zsh: killed     ( trap '' INT; svn log | { ( trap - INT; less; ); kill -9 0; }; )
> 
> But I would like to get rid of this message.

If I use the PIPE signal as suggested by Stephane, this seems to
completely solve this problem.

zira% (trap '' INT; svn log | { (trap - INT; less;); kill -PIPE 0; })

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)