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
Der neue Quanten-Computer macht es möglich!
Der erste Computer für die Frau:
Wollen Sie speichern?
Ja Nein Vielleicht
Wetter Live-Daten
🌡 19.42 °C
💦 80.56 %
⏱ 1,004.03 hPa
Letztes Update: 05:27 Uhr