diff options
| -rw-r--r-- | bash_profile | 4 | ||||
| -rw-r--r-- | bashrc | 16 |
2 files changed, 10 insertions, 10 deletions
diff --git a/bash_profile b/bash_profile index 183cb74..8548d9a 100644 --- a/bash_profile +++ b/bash_profile @@ -28,6 +28,10 @@ fi # History export HISTFILE="$HOME/.cache/bash_history" +export HISTTIMEFORMAT="%F %T " +export HISTCONTROL="ignoredups" +export HISTSIZE=5000 +export HISTFILESIZE=10000 # Less export LESS="-R" @@ -12,23 +12,19 @@ # Disable suspend/resume (ctrl-s, ctrl-q) stty -ixon -# Enable extended globbing +# Enable extended globbing, e.g to exclude files: ls !(*.jpg|*.gif) shopt -s extglob -# History settings -HISTTIMEFORMAT="%F %T " -HISTCONTROL="ignoredups" +# Enable recursive matching with '**', e.g: ls ** +shopt -s globstar -# Number of lines to store in RAM -HISTSIZE=5000 - -# Number of lines to store on file -HISTFILESIZE=10000 +# Warn if running jobs on exit +shopt -s checkjobs # Append history instead of overwriting shopt -s histappend -# Immediately add history instead of end of session +# Immediately save history to file instead of at end of session export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND" # Prompt |