Appunti GIS
giovedì 26 maggio 2016
How clean the bash_history
To clean fully the bash_history this command work pretty well:
cat /dev/null > ~/.bash_history && history -c && exit
Nessun commento:
Posta un commento
Post più recente
Post più vecchio
Home page
Iscriviti a:
Commenti sul post (Atom)
Nessun commento:
Posta un commento