Hey Fabien.
Nice exec examples in the link you provided. Regarding why the shell has problems take a look at exec replaces current process image with a new process image. Even though ps lists bash as a separate process from tee in my example before killing tee, I think exec may have somehow "merged" bash and tee. Just a guess based upon the exec man page and how the bash terminal terminates when I kill the tee process.
Nice exec examples in the link you provided. Regarding why the shell has problems take a look at exec replaces current process image with a new process image. Even though ps lists bash as a separate process from tee in my example before killing tee, I think exec may have somehow "merged" bash and tee. Just a guess based upon the exec man page and how the bash terminal terminates when I kill the tee process.
Statistics: Posted by CloisteredNeuron — 2024-07-01 06:38