diff options
Diffstat (limited to 'bashrc')
-rw-r--r-- | bashrc | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/bashrc b/bashrc new file mode 100644 index 0000000..66a0bc3 --- /dev/null +++ b/bashrc | |||
@@ -0,0 +1,20 @@ | |||
1 | # ~/.bashrc | ||
2 | |||
3 | test -f $HOME/.shrc && . $HOME/.shrc | ||
4 | |||
5 | # History | ||
6 | HISTFILESIZE=-1 | ||
7 | HISTSIZE=100000 | ||
8 | |||
9 | shopt -s histappend | ||
10 | |||
11 | shopt -s histreedit | ||
12 | shopt -s histverify | ||
13 | |||
14 | HISTTIMEFORMAT="%FT%T%z" | ||
15 | |||
16 | HISTCONTROL=erasedups | ||
17 | HISTIGNORE='&:[ ]*' | ||
18 | HISTIGNORE="$HISTIGNORE:ls:exit:cd" | ||
19 | |||
20 | PROMPT_COMMAND="history -a;${PROMPT_COMMAND:-:}" | ||