From 21c35c52b1ff7d6c54187f9983214a16af34f85c Mon Sep 17 00:00:00 2001 From: Oscar Najera Date: Wed, 22 Jan 2025 22:20:26 +0100 Subject: eternal bash history needs other file --- home-dots/dot-bashrc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'home-dots') diff --git a/home-dots/dot-bashrc b/home-dots/dot-bashrc index edfc360..dd7aa4c 100644 --- a/home-dots/dot-bashrc +++ b/home-dots/dot-bashrc @@ -10,7 +10,11 @@ HISTSIZE=-1 HISTFILESIZE=-1 -HISTCONTROL=ignorespace +HISTCONTROL=ignoreboth +HISTTIMEFORMAT="[%F %T] " +# Change the file location because certain bash sessions truncate .bash_history file upon close. +# http://superuser.com/questions/575479/bash-history-truncated-to-500-lines-on-each-login +HISTFILE=~/.bash_eternal_history # enable color support of ls and also add handy aliases if [ -x /usr/bin/dircolors ]; then -- cgit v1.2.3