kill

kill stuurt een signaal naar een proces op PID-nummer.

Basisgebruik

kill 1234           # SIGTERM sturen (vriendelijk stoppen)
kill -9 1234        # SIGKILL sturen (geforceerd)
kill -l             # Alle signalen tonen

Veelgebruikte signalen

SignaalNummerBetekenis
SIGTERM15Vriendelijk stoppen (standaard)
SIGKILL9Onmiddellijk beëindigen — niet te negeren
SIGHUP1Herladen (config opnieuw lezen)
SIGSTOP19Pauzeren
SIGCONT18Doorgaan na pauze
SIGUSR110Gebruikerssignaal (app-specifiek)

Voorbeelden

Vriendelijk stoppen:

kill 1234

Geforceerd beëindigen:

kill -9 1234
kill -KILL 1234

Nginx herladen:

kill -HUP $(cat /run/nginx.pid)

PID opzoeken en beëindigen:

kill $(pgrep nginx)
kill $(cat /run/app.pid)

Meerdere PID's:

kill 1234 5678 9012

Tip

Probeer altijd eerst SIGTERM (standaard). SIGKILL geeft het proces geen kans om netjes af te sluiten — open bestanden kunnen corrupt raken.

processen