From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from primenet.com.au (ns1.primenet.com.au [203.24.36.2]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 11dc6b94 for ; Sat, 6 Jul 2019 23:50:10 +0000 (UTC) Received: (qmail 28052 invoked by alias); 6 Jul 2019 23:50:00 -0000 Mailing-List: contact zsh-users-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Users List List-Post: List-Help: List-Unsubscribe: X-Seq: 24024 Received: (qmail 6722 invoked by uid 1010); 6 Jul 2019 23:50:00 -0000 X-Qmail-Scanner-Diagnostics: from joooj.vinc17.net by f.primenet.com.au (envelope-from , uid 7791) with qmail-scanner-2.11 (clamdscan: 0.101.2/25496. spamassassin: 3.4.2. Clear:RC:0(155.133.131.76):SA:0(-1.9/5.0):. Processed in 2.909964 secs); 06 Jul 2019 23:50:00 -0000 X-Envelope-From: vincent@vinc17.net X-Qmail-Scanner-Mime-Attachments: | X-Qmail-Scanner-Zip-Files: | Received-SPF: none (ns1.primenet.com.au: domain at vinc17.net does not designate permitted sender hosts) Date: Sun, 7 Jul 2019 01:49:19 +0200 From: Vincent Lefevre To: zsh-users@zsh.org Subject: Re: kill the LHS command of a pipe once the RHS command terminates Message-ID: <20190706234919.GA14626@zira.vinc17.org> Mail-Followup-To: zsh-users@zsh.org References: <20190628110430.GA13790__36317.6205357135$1561719956$gmane$org@zira.vinc17.org> <20190628184134.btrejxp7jyoo6wz6@chaz.gmail.com> <20190629012433.GA23526@zira.vinc17.org> <20190629153055.kb444goqcmpfblac@chaz.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20190629153055.kb444goqcmpfblac@chaz.gmail.com> X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/1.12.1+33 (6a74e24e) vl-117499 (2019-06-23) On 2019-06-29 16:30:55 +0100, Stephane Chazelas wrote: > 2019-06-29 03:24:33 +0200, Vincent Lefevre: > [...] > > Thus if the left-hand-side process has terminated, this tries to > > kill a random process! > [...] > > Fair enough. > > Then, how about: > > page-and-kill() ("$@" | { ${PAGER:-less}; kill -s PIPE 0; }) Unfortunately, this is not usable as a Ctrl-C kills the pager. Actually I suppose that Ctrl-C kills the subshell, and the pager as a consequence. And if I use the following, page-and-kill() (trap '' INT; "$@" | { trap - INT; less; kill 0; }) the "kill 0" no longer kills the command. This can be seen with: (trap '' INT; { echo foo; sleep 10; } | { trap - INT; less; kill 0; }) after typing Ctrl-C in "less", then q to quit. I've noticed that dash and mksh have the same issue, but neither bash, nor ksh93. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)