Stella inattivaStella inattivaStella inattivaStella inattivaStella inattiva
 

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 pgrepxargs 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.