Potenziare la ricerca nella history di bash

Per chi usa spesso il terminale volendo riusare comandi già dati è frequente. Il primo passo è usare la freccia insù che ripassa una dopo l’altro, il secondo magari usare comandi tipo
history |grep mount
il terzo usare cltr+r e digitare qualche lettera ma il massimo forse è la BASH History Suggest Box, comando: hh.
Si installa su arch da AUR, su *ubuntu inserendo il ppa (di solo questo software quindi senza rischi)
sudo add-apt-repository ppa:ultradvorka/ppa
sudo apt-get update
sudo apt-get install hh
Digitare per filtrare, sù/giù per selezionare, TAB per usare/modificare il comando selezionato o invio per ridarlo direttamente, Canc per toglierlo dalla history.
Per usare ctrl+r per attivare hh basta modificare :
hh –show-configuration >> ~/.bashrc
Questo aumenta tra altro anche da 500 a 10’000 le voci memorizzate.