From 38e95dcf3745f54ef065a1605073be578693c75b Mon Sep 17 00:00:00 2001 From: Michael Grote Date: Mon, 12 Aug 2024 15:20:45 +0200 Subject: [PATCH] bash: history --- .bash_extra | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.bash_extra b/.bash_extra index 5ea5608..ade3b19 100644 --- a/.bash_extra +++ b/.bash_extra @@ -43,8 +43,10 @@ export LESS_TERMCAP_us=$'\E[01;36m' # bash history bei mehreren Session shopt -s histappend -# bach History Zeitstempel am Anfang der Zeile +# bash History Zeitstempel am Anfang der Zeile 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 shopt -s cdspell