diff options
author | Luke Shumaker <shumakl@purdue.edu> | 2015-09-22 15:29:32 -0400 |
---|---|---|
committer | Luke Shumaker <shumakl@purdue.edu> | 2015-09-22 15:29:32 -0400 |
commit | 8f8b4b4954c103aec63d836c99de01f31c887136 (patch) | |
tree | 4660e476de9b2fdee6374f8b51243355fcb65912 /.config/bash/rc.d/10_misc.sh | |
parent | 5c22284424454bbb89372399bda4ca0aef2f1f7c (diff) | |
parent | 6fd75fa99cc547ed9b9aa3657d698ac9552cc7f9 (diff) |
Merge branch 'master' into purdue-cs/master
Diffstat (limited to '.config/bash/rc.d/10_misc.sh')
-rw-r--r-- | .config/bash/rc.d/10_misc.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.config/bash/rc.d/10_misc.sh b/.config/bash/rc.d/10_misc.sh new file mode 100644 index 0000000..afcf6fd --- /dev/null +++ b/.config/bash/rc.d/10_misc.sh @@ -0,0 +1,10 @@ +#!/hint/bash + +# General settings +shopt -s checkwinsize # update the values of LINES and COLUMNS +shopt -s globstar # Let ** recursively scan directories + +# Why is this not on by default? +# "We have a cached value, but it isn't valid anymore. Should we trash it?" +# "Duh, yes!" +shopt -s checkhash |