diff options
Diffstat (limited to 'home/.bashrc')
-rw-r--r-- | home/.bashrc | 14 |
1 files changed, 14 insertions, 0 deletions
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 | |||
46 | ######################################################################## | 46 | ######################################################################## |
47 | [[ $PS1 && -f /usr/local/share/bash-completion/bash_completion.sh ]] \ | 47 | [[ $PS1 && -f /usr/local/share/bash-completion/bash_completion.sh ]] \ |
48 | && source /usr/local/share/bash-completion/bash_completion.sh | 48 | && source /usr/local/share/bash-completion/bash_completion.sh |
49 | |||
50 | |||
51 | ######################################################################## | ||
52 | ## History | ||
53 | ######################################################################## | ||
54 | # Don't put duplicates or lines starting with spaces in history. | ||
55 | HISTCONTROL=ignoreboth | ||
56 | |||
57 | # Append to history file; don't overwrite | ||
58 | shopt -s histappend | ||
59 | |||
60 | # History size | ||
61 | HISTSIZE=100000 | ||
62 | HISTFILESIZE=100000 | ||