diff options
| author | Mitch Riedstra <mitch@riedstra.us> | 2020-10-31 16:17:44 -0400 |
|---|---|---|
| committer | Mitch Riedstra <mitch@riedstra.us> | 2020-10-31 16:20:42 -0400 |
| commit | b8d5cf5b393c6373b3dbfa5b1baf3e527de3e05b (patch) | |
| tree | ae56bc2aad7869d03535d8a7a478279bc2fb52f4 /snips/bash_history | |
| parent | f6038cf3ee7262f93ef0df7b001a3ab47886b697 (diff) | |
| download | dotfiles-b8d5cf5b393c6373b3dbfa5b1baf3e527de3e05b.tar.gz dotfiles-b8d5cf5b393c6373b3dbfa5b1baf3e527de3e05b.tar.xz | |
Fix up snipmenu and add a few more snippets.
Diffstat (limited to 'snips/bash_history')
| -rw-r--r-- | snips/bash_history | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/snips/bash_history b/snips/bash_history new file mode 100644 index 0000000..a2dfbe7 --- /dev/null +++ b/snips/bash_history @@ -0,0 +1,7 @@ +if [ -n "$BASH" ] ; then + HISTFILE="$HOME/.bash_history" + HISTSIZE=10000 + HISTFILESIZE=10000 + shopt -s histappend + export PROMPT_COMMAND="set_my_title;history -a; history -c; history -r" +fi |