Un comando molto utilizzato nella gestione dei server è il comando kill, questo comando infatti permette di terminare i processi in esecuzione individuabili attraverso il comando ps, proviamo a vedere come fare.
Iniziamo lanciamo il comando
ps aux
questo mostrerà tutti i processi attualmente in esecuzione, permettendoci di individuato il PID del processo che intendiamo terminare a questo punto digitiamo il comando
kill -9 PID
Può però tornare utile per diversi motivi un azione un po' più "forzata" cioè quella di dover terminare “killare" in massa tutti i processi di un utente, ciò può essere messo in atto utilizzando insieme i comandi pgrep, xargs e logicamente kill. Per fare ciò basta lanciare dal prompt la stringa:
pgrep -u nomeutente | sudo xargs kill -9
sostituendo naturalmente nomeutente con il nome dell’utente da terminare e inserendo sudo solo per le distribuzioni linux che lo richiedono.
