diff options
-rw-r--r-- | bash/bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bash/bashrc b/bash/bashrc index 27810022..c7a5d730 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -56,6 +56,10 @@ shopt -u expand_aliases shopt -s extglob # Append rather than overwrite Bash history shopt -s histappend +# Repeat the line on failed history expansion +shopt -s histreedit +# Repeat the expanded line on successful history expansion +shopt -s histverify # Don't use Bash's builtin host completion shopt -u hostcomplete # Don't warn me about new mail all the time |