Il comando HISTORY | ALTRI capitoli | ||||
I comandi inviati, dall'utente, alla shell, via terminale, vengono memorizzati e possono, quindi, essere recuperati, rieseguiti, modificati. Se desiderate recuperare e rieseguire uno dei comandi eseguiti recentemente, potete utilizzare le frecce UP e DOWN della tastiera. In alternativa, è possibile eseguire il comando:
che stampa a video gli ultimi 1000 comandi eseguiti dalla shell corrente, ciascuno abbinato ad un numero ID, che servirà a riferirsi ad esso:
Questi 1000 comandi vengono recuperati dal file:
È possibile recuperare un numero inferiore di comandi, specificandone la quantità esatta:
Le impostazioni del file history sono contenute in uno dei due file di configurazione:
Il numero di linee presenti nel file history è definito nella variabile HISTFILESIZE:
mentre il numero di comandi memorizzati è definito nella variabile HISTSIZE:
Bash, nel corso della sessione di lavoro, conserva l'elenco dei comandi nella memoria di sistema (RAM), salvandoli nel file history solo alla chiusura della shell. È possibile chiedere a bash di scrivere (append) nel file history anche la lista conservata in memoria, aggiungendo l'opzione:
oppure:
oppure, per rendere automatico il salvataggio delle nuove righe (per la sessione corrente):
Per eliminare una voce dall'elenco, eseguire l'opzione -d, specificando l'ID della riga da eliminare:
Per eliminare, invece, tutte le voci presenti nella history, eseguire:
Per rieseguire uno specifico comando, eseguire l'opzione !, specificando l'ID della riga da rieseguire:
Per rieseguire l'ultimo comando eseguito, eseguire:
oppure:
Per rieseguire il penultimo comando eseguito, eseguire:
Per rieseguire il terzultimo comando eseguito, eseguire:
e così via. Per rieseguire l'ultimo comando che iniziasse con una determinata stringa testuale, eseguire:
Per rieseguire l'ultimo comando che contenesse una determinata stringa testuale, eseguire:
Per eseguire un comando, utilizzando gli argomenti utilizzati nell'ultimo comando eseguito, eseguire:
Questo è particolarmente utile nel caso di errori di digitazione. Immaginate di avere eseguito il comando:
dove il comando emasc avrebbe dovuto eseguire, in realtà:
In questo caso, è possibile rieseguire il seguente comando:
Per effettuare una ricerca, all'interno della History, premere:
specificando, dopo il messaggio che apparirà sulla console:
il comando che state cercando. Premendo i tasti CTRL-R ripetutamente, si scorreranno tutte le occorrenze della stringa testuale che avete inserito.
|
|||||
Il comando HISTORY | Le guide di .bit: contenuto originale |