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
"Magst du Kinder?" – "Keine Ahnung, bin Vegetarier."
Wetter Live-Daten
🌡 19.42 °C
💦 80.56 %
⏱ 1,004.03 hPa
Letztes Update: 05:27 Uhr