Chet Ramey wrote in <d97f5699-96c9-d908-a864-dc84253a1...@case.edu>: |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.
Oh! Then i look forward to see the patch. Ciao, --steffen | |Der Kragenbaer, The moon bear, |der holt sich munter he cheerfully and one by one |einen nach dem anderen runter wa.ks himself off |(By Robert Gernhardt)
