diff options
-rw-r--r-- | .bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ shopt -s nullglob # set -o ignoreeof # # Use case-insensitive filename globbing -# shopt -s nocaseglob +shopt -s nocaseglob # # Make bash append rather than overwrite the history on disk # shopt -s histappend |