Daily Shaarli

All links of one day in a single page.

December 30, 2024

How do I kill background processes / jobs when my shell script exits? - Stack Overflow
thumbnail

Kill tous les processus lancés en background en bash suite à un signal SIGINT

trap "trap - SIGTERM && kill -- -$$" SIGINT SIGTERM EXIT