spacer.png, 0 kB

Joomla! 1.0 devbook

Versione: 1.0.4 pre-final

Statistiche

Utenti: 1
Notizie: 66
Collegamenti web: 26
Downloads: 32
Visitatori: 527086

spacer.png, 0 kB
spacer.png, 0 kB
Home arrow Tips & tricks arrow Linux arrow Cercare nella history della linea di comando
Cercare nella history della linea di comando Stampa
Wednesday 09 November 2011

Una funzionalità molto comoda della linea di comando è quella di poter cercare nella history i comandi digitati a partire da pochi caratteri digitati. Ad esempio digitando "mv" e premendo il tasto PageUp, la shell mostra tutti i comandi digitati che iniziano con "mv".

Nel caso in cui la vostra shell non abbia questa funzionalità è sufficiente abilitarla:

  • per abilitarla a livello di sistema operativo è necessario modificare il file /etc/inputrc;
  • altrimenti per abilitarla unicamente per il proprio utente è necessario creare il file .inputrc nella propria home directory.

In entrambi i casi è necessario aggiungere/decommentare le seguenti righe di codice:

"\e[5~": history-search-backward
"\e[6~": history-search-forward

Per rendere operative le modifiche è sufficiente rieffettuare il login al sistema.



Digg!Reddit!Del.icio.us!Google!Live!Facebook!Slashdot!Netscape!Technorati!StumbleUpon!Yahoo!Ma.gnolia!
 
spacer.png, 0 kB
spacer.png, 0 kB spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB