Interruzione dei processi (kill)

Il comando kill permette di interrompere in modo diretto un processo in esecuzione. Questo risulta particolarmente utile quando si avvia per errore un comando che comporta un certo tempo di esecuzione.

Per interrompere un processo:

1. Digitare ps per visualizzare il PID del processo.

2. Digitare kill seguito dal PID del processo.

   L'esempio seguente illustra la procedura da seguire:

   $ ps PID TTY TIME COMMAND 1291 co 0:12 -bin/csh (csh) 3250 p0 0:00 ps 1286 p1 0:05 -bin/csh (csh) 3248 p1 0:05 vi commands $ kill 1291 [1} Terminated -bin/csh/ (csh) $

   Un metodo più rapido per determinare il PID del processo consiste nell'inviare l'output di ps al comando grep utilizzando il simbolo di pipe. Ad esempio:

   $ ps | grep nomecomando

   dove nomecomando è il nome del processo che si desidera interrompere.

   Per interrompere forzatamente un processo, usare il comando ps con l'opzione -9 nella forma seguente:

   $ kill -9 nPID

   dove nPID è il numero di identificazione del processo che si desidera interrompere.