Thank you, you are right. SIGTERM and SIGINT then :) https://tldp.org/LDP/Bash-B...

		frafra on Oct 27, 2022 \| parent \| context \| favorite \| on: Shell script best practices, from a decade of scri... Thank you, you are right. SIGTERM and SIGINT then :) https://tldp.org/LDP/Bash-Beginners-Guide/html/sect_12_02.ht...