#------------------------------------------------------------------------------- # "$HOME/.bash_history" (C) 2014-2023 T.Birnthaler OSTC GmbH # History-Einstellungen fuer die Bash. #------------------------------------------------------------------------------- # Groesse des History-Puffers HISTFILE="$HOME/.bash_history" # Name der History-Datei HISTSIZE=10000 # 10.000 Befehle in Shell merken HISTFILESIZE=10000 # 10.000 Befehle in Datei aufheben # Shell-Optionen zum Steuern des History-Verhaltens shopt -s cmdhist # Mehrzeilige Befehle --> 1 Zeile in Histfile shopt -u lithist # Mehrzeilige Befehle: \n --> ";" shopt -s histappend # Bei Shell-Exit an History-Datei anhaengen # (statt ueberschreiben) shopt -u histreedit # Schiefgegangene History-Ersetzung editierbar shopt -u histverify # Befehle nach History-Ersetzung editierbar PROMPT_COMMAND="history -a" # Vor naechster Prompt-Ausgabe History sichern HISTTIMEFORMAT="%Y.%m.%d %T " # YYYY.MM.DD HH:MM:SS fuer History-Ausgabe (SPACE!) # Wie sollen Kommandos auf der History-Liste gespeichert werden? # ignorespace: Kmdo mit Leerzeichen am Anfang ignorieren # ignoredups: Nur 1. von direkt aufeinander folgenden gleiche Kmdos merken, # alle identischen Kmdos nur 1x speichern HISTCONTROL="ignorespace:ignoredups" # :erasedups" # Folgende Kommandos NICHT in die History aufnehmen # (vollstaendige Kommandozeile oder Kommandozeilen-Anfang bei * am Ende) HISTIGNORE="c:cd:pwd:clear:exit:h:h10:hg *:history*:lg:l:ls:ls -l:ll:lt:va:sa" HISTIGNORE="c:cd:pwd:clear:exit:lg:l:ls:ls -l:ll:lt:va:sa"