From 5c56b0b753899221578626560e7599dd0a385aac Mon Sep 17 00:00:00 2001 From: Tristan Williams Date: Sun, 13 Oct 2024 03:41:28 -0400 Subject: .bashrc: set bash history options --- home/.bashrc | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'home/.bashrc') diff --git a/home/.bashrc b/home/.bashrc index 4880780..627ba24 100644 --- a/home/.bashrc +++ b/home/.bashrc @@ -46,3 +46,17 @@ export GPG_TTY ######################################################################## [[ $PS1 && -f /usr/local/share/bash-completion/bash_completion.sh ]] \ && source /usr/local/share/bash-completion/bash_completion.sh + + +######################################################################## +## History +######################################################################## +# Don't put duplicates or lines starting with spaces in history. +HISTCONTROL=ignoreboth + +# Append to history file; don't overwrite +shopt -s histappend + +# History size +HISTSIZE=100000 +HISTFILESIZE=100000 -- cgit v1.2.3