More display stuff.

[profile.git] / .bash_profile

diff --git a/.bash_profile b/.bash_profile
index e905a86..b8e11d4 100644 (file)
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,7 +1,24 @@
-#echo "$(date +'%F %T'): pid: $$; ppid: $PPID; tty: $(tty); .bash_profile" >> ~/.nx/spam
 if $(tty -s) || [ "${0:0:1}" = "-" ]; then
-  for i in ~/.profile.d/*.bashrc; do . $i; done; unset i
+  # Remember if nocaseglob was on.
+  shopt -q nocaseglob
+  nocg=$?
+  # Turn it off so we source stuff in the right order.
+  shopt -u nocaseglob
+
+  # Remember LC_ALL.
+  lc_all=$LC_ALL
+  # Turn it off to set case-sensitive matching
+  LC_ALL=C
+
+  # Source all scripts.
+  for i in ~/.profile.d/*.bashrc; do . "$i"; done; unset i
+
+  # Maybe turn nocaseglob back on.
+  [ $nocg = 0 ] && shopt -s nocaseglob
+
+  # Reset LC_ALL.
+  LC_ALL=$lc_all
+
+  unset lc_all nocg
   __ps1
 fi
-#export IP01=.bash_profile
-#export IP01BASH_PROFILE=.bash_profile