Merge branch 'master' into dataport

This commit is contained in:
Michael Grote 2024-09-16 09:52:55 +02:00
commit 40e811b380

View file

@ -51,8 +51,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