In letzter Zeit habe ich häufiger etwas in meiner History der bash suchen müssen. Immer $history | grep "x" eingeben zu müssen, wurde mir auf Dauer auch zu lästig. Einfacher wäre doch $hisearch "x". Also habe ich ein kleines Script geschrieben, was nicht mehr macht, als die oben genannten Pipe auszuführen.
Der Quellcode ist hier einsehbar.
Mein Repo hinzufügen und dann: sudo apt-get update && sudo apt-get install history-search
Gehen 8 Informatiker in eine Bar und bestellen 1 Byte.
Klimaanlage defekt.
Der Techniker ist informiert!