Tipps für Anfänger und Fortgeschrittene
RSS icon Email icon Home icon
  • Konsole – History intelligenter durchsuchen

    Geschrieben am 28. November 2009 - 13:04 Uhr falco2 2 Kommentare

    Die History ist die Übersicht, der ehemals eingegebenen Befehle.
    Es gibt mehrere Möglichkeiten, die Befehle zurück zuholen, anstatt sie nochmals eingeben zu müssen.

    1. mit dem Befehl history oder besser history | more
      Befehl raussuchen, den mann gerne hätte und mit z.B.: !345 den Befehl nochmals starten
      (345 wäre in den Fall die Zahl, die vor dem gewünschten Befehl steht)
    2. mit Strg+R kann man die History Funktion auch aufrufen.
      Dann einfach den Befehl ausschreiben, der gesucht wird und je weiter geschrieben wird,  um so genauer nähert mann sich der Befehlszeile, die gesucht wird.
      Enter startet die Befehlszeile !
      ESC schreibt die Befehlszeile in das Terminal, OHNE es auszuführen !
    3. einen Tick besser geht das noch, wenn der Befehl eingegeben wird und mit Cursor nach oben & Cursor nach unten, die History des Befehls durchsucht wird.
      Dies geschieht mit folgender Einstellung in der Datei .inputrc im /home Verzeichnis
      (Entweder die Datei editieren oder neu anlegen mit nano ~/.inputrc)
      folgenden Zeilen einfügen

    "\e[A": history-search-backward
    "\e[B": history-search-forward

    als kleinen Gimmick, kann man sich anzeigen lassen, wann (Datum) und zu welcher Zeit (Uhrzeit), der Befehl eingegeben wurde. In der .bashrc mit nano ~/.bashrc)
    folgenden Zeilen einfügen

    # Zeitstempel für die History
    export HISTTIMEFORMAT="%d.%B %Y – %H:%M:%S "

    Wissen wollen, welcher Befehl wie oft aufgerufen wurde ? auf der Konsole eingeben

    history|awk '{print $2, $3, $4, $5, $6, $7, $8, $9}'|awk 'BEGIN {FS="|"} {print $1}'|sort|uniq -c|sort -nr|more
     
    
    Print Friendly
     

    2 Antworten zu “Konsole – History intelligenter durchsuchen”

    1. Hallo,
      wie kann ich die maximal in der History gespeicherte Befehlszahl erhöhen? Mir sind oft gerade selten und eben vor langer Zeit benutzte Befehle entfallen und die sind dann aus der History hinten raus gelöscht.
      Grüße

    2. das kannst du angeben mit HISTSIZE.
      Einfach in der .bashrc in deinem /home Verzeichnis nachschauen.
      Dort ist bestimmt 1000 angegeben.
      (export HISTSIZE=1000)

      Abfragen welcher Wert eingestellt ist, geht auch auf der Konsole mit
      echo $HISTSIZE

      wie du das auch Systemweit einstellen kannst steht hier

    Einen Kommentar schreiben