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
Post più recenti
Post più vecchi
Home page
Iscriviti a:
Post (Atom)