On 1/16/23 6:35 PM, Steffen Nurpmeso wrote:
It turns out that the inner shell tries to set the process group
(to the parent shell which no longer exists), then causing the
interactive bash on the terminal to read an EOF next, and without
ignoreeof set the interactive shell then exits. (This happens
also when "set +m" is called after the wait ie when parent is gone
already. .. I have never really looked what shells do, and when.)
Thanks for the report. It's a pretty easy (one line) fix for a rather
unusual set of circumstances.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
