bash: funzione di ricerca comandi

per ritrovare un comando che si è digitato tempo addietro premiamo contemporaneamente Control e r (^r). Il prompt dei comandi diventerà così:

 #^r (reverse-i-search)`': 

Adesso iniziamo a digitare parte del comando: Ci verrà mostrato il comando che abbiamo digitato più di recente che contiene la stringa da noi inserita.

Per vedere in ciclo i comandi trovati premiamo sempre contemporaneamente Control-r, mentre per eseguire il comando trovato premiamo invio