Link Me
Inserisci nel tuo sito un link a NonSoloGuide

Maggiori info e altre immagini
Linux : Completamento shell dei comandi già lanciati
Inviato da Webmaster il 1/12/2009 22:03:30 (3952 letture)



In questa piccola guida vedremo come modificare il file /etc/inputrc in modo da permetterci il completamento dei comandi già lanciati tramite shell (shell bash).

E' difficile spiegare a parole cosa permette effettivamente di fare questa modifica, ma vi assicuro che una volta capito il funzionamento, diventa una cosa indispensabile e permette di velocizzare notevolmente le nostre operazioni da shell.

Per farvi capire cosa permette di fare questa modifica, cerco di fare un esempio:
tutti i comandi che lanciamo da shell, vengono salvati nella cronologia.
quando vogliamo lanciare nuovamente un comando già lanciato in precedenza, premiamo 'freccia su' finchè non ritroviamo il comando.
con la modifica che apporteremo al file /etc/inputrc possiamo scrivere le prime lettere del comando, e premere PagSu o PagGiù per scorrere tra i comandi presenti nella cronologia che iniziano per i caratteri da noi digitati.

Spero che questo esempio abbia chiarito le idee.
Ora attiviamo questa comodissima funzione:

apriamo il file /etc/inputrc:

sudo kate /etc/inputrc



Controlliamo se sono presenti delle righe simili a queste:
Citazione:

# alternate mappings for "page up" and "page down" to search the history
# "\e[5~": history-search-backward
# "\e[6~": history-search-forward


In Ubuntu/Kubuntu queste righe sono già presenti e basta decommentarle (non tutte, ma solo le ultime due), in questo modo:
Citazione:

# alternate mappings for "page up" and "page down" to search the history
"\e[5~": history-search-backward
"\e[6~": history-search-forward



Se non sono presenti, scriviamole direttamente all'interno del file.


Salviamo il file e chiudiamolo.
Riavviamo il terminale per far funzionare le modifiche appena apportate.

Condividi: FB OK Notizie Twitter Google Yahoo                        Altre Azioni: Printer Friendly Page Invia questa guida ad un amico


Altre guide
30/08/2017 0:18:19 - e-Sports videogiocatori professionisti e ben pagati
29/08/2017 17:51:35 - Short Comedy Sketch (off-topic)
13/02/2017 17:39:40 - Amazon Underground: app Android gratis per tutti (in modo legale)
6/01/2017 0:06:56 - Toonz il software di animazione diventato open source
2/01/2017 20:56:02 - Come tracciare i partecipanti ad una call Skype for Business/Lync
2/01/2016 16:36:34 - Da Yosemite a El Capitan (aggiornamento OSX)
2/01/2016 14:57:07 - Akinator: indovino QUALSIASI persona tu abbia in mente!
2/01/2016 0:11:46 - Problemi con l'app "App Store"? Basta ripulire la cache delle varie sezioni
2/01/2016 0:06:12 - L'albero genealogico GNU/Linux ed Android
28/12/2015 0:35:34 - Mettere in mute YouTube direttamente dalla scheda del browser

I commenti sono di proprietà degli autori. Si declina ogni responsibilità sul loro contenuto.