Gestione della history: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(No difference)
|
Latest revision as of 09:26, 13 June 2006
Impostazioni necessarie per avere una history dei comandi decente:
| Attenzione questo articolo è ancora incompleto. Sentiti libero di contribuire cliccando sul tasto edit. |
Premesso che
- history -a: scrive l'ultimo comando in $HISTFILE