[Soci SLIP] pulizia shell

[Lucio Crusca]

In data lunedì 20 settembre 2010 14:28:11, max-bia a libero.it ha scritto:

> che comando bisogna usare per cancellare dalla memoria della shell
> 
> i comandi digitati .

devi cancellare il file $HOME/.bash_history
tieni conto che lo storico viene aggiunto a quel file ogni volta che fai il 
logout, quindi dopo aver cancellato il file, i comandi dati nella sessione 
attuale verranno scritti e resteranno lì. Se vuoi cancellare anche quelli devi 
fare il logout così te li salva e poi cancellare il file al successivo login.