Quindi per default .bash_history memorizza 500 ultimi comandi usati. L'ho modificato in 5000 impostando HISTFILESIZE=5000
in .bash_profile
Sembra funzionare.
Ora quando faccio history
stampa ancora i comandi 500 , ma ora lo fa non da 1 a 500 , ma da 36 a 535 (i comandi precedenti vengono memorizzati ma non stampati).
Mi piacerebbe che history
stampi 1000 ultimi comandi usati. Come posso ottenerlo?
Inoltre recentemente ho provato history -a
e non ho notato nulla di cambiamento. Cosa fa questo comando? La cronologia degli utenti non aiuta.