Re: apt - sources e preferences

[Paolo Redaelli]

On Sat, 2002-01-19 at 19:38, Leonardo Canducci wrote:
> naturalmente sapevo di command|less. mi chiedevo se esisteva qualcosa di 
> meglio. Non solo perdo i colori, che non � roba da poco se si vuole 
> distinguere le directory dai file, ma non posso usarlo con i programmi 
> interattivi.
> 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