diff options
Diffstat (limited to 'bash/bashrc')
| -rw-r--r-- | bash/bashrc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bash/bashrc b/bash/bashrc index a62f2251..a48a9081 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -19,18 +19,12 @@ shopt -q restricted_shell && return # Keep around 32K lines of history in file HISTFILESIZE=$((1 << 15)) -# Keep around 4K lines of history in memory -HISTSIZE=$((1 << 12)) - # Ignore duplicate commands and whitespace in history HISTCONTROL=ignoreboth # Keep the times of the commands in history HISTTIMEFORMAT='%F %T ' -# Don't warn me about new mail -unset -v MAILCHECK - # Use a more compact format for the time builtin's output TIMEFORMAT='real:%lR user:%lU sys:%lS' |