[gl-como] Spazi all'inizio della riga per non salvare il comando nella history

[Elena ``of Valhalla'']

Ciao

http://www.technovelty.org/linux/skipping-bash-history-for-command-lines-starting-with-space.html

toh, non lo sapevo: con HISTCONTROL=ignoreboth nel .bashrc i comandi 
che iniziano con uno spazio non vengono salvati nella history (così 
come i duplicati), il che è decisamente utile quando si usa spesso 
ctrl-r)

-- 
Elena ``of Valhalla''