mg/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bash: history

Browse source
This commit is contained in:
Michael Grote 2024-08-12 15:20:45 +02:00
parent 2a0b70e655
commit 38e95dcf37
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.bash_extra
View file

@ -43,8 +43,10 @@ export LESS_TERMCAP_us=$'\E[01;36m'
# bash history bei mehreren Session # bash history bei mehreren Session
shopt -s histappend shopt -s histappend
# bach History Zeitstempel am Anfang der Zeile # bash History Zeitstempel am Anfang der Zeile
export HISTTIMEFORMAT='[%F_%T] ' export HISTTIMEFORMAT='[%F_%T] '
# https://askubuntu.com/questions/15926/how-to-avoid-duplicate-entries-in-bash-history
export HISTCONTROL=ignoreboth:erasedups
# typo bei cd entfernen # typo bei cd entfernen
shopt -s cdspell shopt -s cdspell