Date: Wed, 15 Jun 2022 07:37:07 -0400
From: Greg Wooledge <g...@wooledge.org>
Message-ID: <yqneyyqubset7...@wooledge.org>
| Bash does not ship a man page named "wait". What are you actually
| reading?
I assumed the section of "man bash" which describes the wait
builtin command, describes the various exit status possibilities
from wait, but doesn't mention the case where wait is interrupted.
Whether it is worth mentioning there, or providing a "for what
happens if a signal occurs during the wait see..." xref isn't
my call, but it is a notable omission.
kre
