[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: apt - sources e preferences




> A me serve proprio per top, perchè uso quello - non so se c'è una soluzione
> migliore - per killare i processi che si piantano o crashano.
kill -KILL pid_del_programma
Non l'hai MAI usato? E' ancora + basilare di top

ok, ma il PID del programma come lo ottengo se non con top?



Reply to: