Il comando History digitato nel terminale e’ molto utile, in quanto riporta tutti i comandi precedentemente digitati.

L’uso più frequente che si fa di solito dell’history file e’ quando richiamiamo un comando precedente dentro la shell, cliccando sulla freccia in alto.

La lunghezza dell’elenco e’ variabile e puo’ essere allungata o diminuita.
Se utilizzato insieme a grep diventa molto utile per trovare comandi digitati in precedenza di cui non si ricordano che parti o porzioni…

Non esiste un vero e proprio manuale come negli altri comandi classici da terminale, perche’ history e’ un comando della shell e non di sistema.

Per sapere le opzioni non si digita infatti man history, bensì: help history (…continua) Leggi il resto »