URL:
<https://savannah.nongnu.org/support/?110356>
Summary: bash: please provide an easy way to spawn a new
process group from script
Project: Savannah Administration
Submitted by: None
Submitted on: Sun 01 Nov 2020 12:51:58 AM UTC
Category: None
Priority: 5 - Normal
Severity: 3 - Normal
Status: None
Assigned to: None
Originator Email: [email protected]
Operating System: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
I was battling this problem now for several hours
i wanted to do this:
{ a | b; } & pid=$!
and then later
kill -- -$pid
to kill all the processes spawned by the pipeline.
But this proved to be immensely complicated as no new process group is spawned
from within a script (unless set -m which is not recommended)
Please, provide a syntactic construct to spawn a new process group (or at
least there should be some usable command to do that).
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110356>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
