Date: Thu, 6 Jun 2019 09:57:24 +0200
From: mwnx <m...@gmx.com>
Message-ID: <20190606075724.GA9670@noisy>
| After all, it does wait for all other
| kinds of processes irrespective of when they were started or how
| many there are,
Shells aren't required to keep track of any process that the script
doesn't bother to track. Many do, but it isn't required. If you
want to know when a process ends, you need to save its PID when it
is created (ie: reference $! - save it in some variable). Once you've
done that, the shell is supposed to track it, and "wait" should include
that process.
Whether bash works that way with processes created for process substitutions
(which are a non-standard thing to do) I don't know however.
kre
