Capita spesso di cercare un comando già usato una volta, di cui magari non si ricorda la sintassi, con history nella shell di linux.
Succede però abbastanza velocemente che le 500 linee disponibili di default come memoria si riempiano e il nostro comando si perde nell'oblio...
Ecco quindi 2 utili aggiunte per rendere la nostra bash ancora più performante!
Aggiungere linee alla bash history
Dovete semplicemente aggiungere questa stringa al bash init (cioè il file nascosto .bashrc presente nella vostra home)
export HISTSIZE=10000
in questo modo avrete a disposizione 10000 righe di cronologia (il numero può ovviamente essere modificato a piacere!)
Per evitare di avere doppioni nella history (e.g. se avete usato moltissime volte il comando ls e non volete sprecare spazio inutilmente), potete aggiungere questa stringa al medesimo file:
export HISTCONTROL=erasedups
personalmente però non uso questo secondo comando perchè mi piace avere un log di cosa è stato fatto sul computer facile da consultare.
W la shell!
---
M
Nessun commento:
Posta un commento
commentando accetti implicitamente le regole del blog, leggile!