diff options
| -rw-r--r-- | .bash_profile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile index 48739fe..76e2dba 100644 --- a/.bash_profile +++ b/.bash_profile @@ -8,6 +8,12 @@ unset file # Case-insensitive globbing (used in pathname expansion) shopt -s nocaseglob +# Append to the Bash history file, rather than overwriting it +shopt -s histappend + +# Autocorrect typos in path names when using `cd` +shopt -s cdspell + # Prefer US English and use UTF-8 export LC_ALL="en_US.UTF-8" export LANG="en_US" |