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
Linux: Born to be root
Windows: Born to re-boot
Klimaanlage defekt.
Der Techniker ist informiert!