Gestione della history
Jump to navigation
Jump to search
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