|
Scritto da minopausa
|
|
Giovedì 22 Maggio 2008 17:51 |
|
Vi segnalo una chicca che può dimostrarsi utile per coloro i quali usano di frequente un comando o un gruppo di comandi. Sappiamo già che possiamo scorrere i comandi che abbiamo impartito al nostro fidato terminale tramite i tasti freccia (su e giù); quello che (forse) non sappiamo è che nella nostra home directory è presente un file chiamato .bash_hystory su cui vengono memorizzati questi comandi.
Per analizzare tutti i comandi memorizzati sarà sufficiente scrivere nel bravo terminale:
history
e vedremo tutti i comandi con associato un id. Questa facility potrà mostrarci centinaia di comandi nel caso fossimo particolarmente attivi con il nostro terminale; per scremare questo elenco e per visualizzare un tot di comandi, ad esempio gli ultimi 10, sarà sufficiente scrivere nel terminale:
history 10
e ci verranno restituiti gli ultimi 10 comandi. Supponendo di voler rieseguire un lungo comando etichettato dall'id 34 dovremo digitare:
!34 È tutto!
|
|
Ultimo aggiornamento Giovedì 05 Marzo 2009 12:32 |
