Ctrl-r, nel Terminale, consente di fare ricerche nello storico dei comandi. :-)