Spende für die Projekte
Bitcoin-Spenden-Konto:
bitcoin:1D4keibgk1ZcxuTNVoZ8aqVU7CLe6qybXK
Bitcoin-Spenden-Konto:
bitcoin:1D4keibgk1ZcxuTNVoZ8aqVU7CLe6qybXK
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
Mathematiker sterben nicht; sie verlieren nur einige ihrer Funktionen.
Wetter Live-Daten
🌡 8.35 °C
💦 62.12 %
⏱ 991.11 hPa
Letztes Update: 00:11 Uhr