Colours for PS2 and PS4.

[profile.git] / .profile.d / options.bashrc

diff --git a/.profile.d/options.bashrc b/.profile.d/options.bashrc
index 3d87c1f..8000115 100644 (file)
--- a/.profile.d/options.bashrc
+++ b/.profile.d/options.bashrc
@@ -1,5 +1,3 @@
-# $Id$
-#
 # Bash variables and options.
 # Some of these are (now) the default but listed for completeness.
 #
@@ -26,11 +24,11 @@ shopt -u hostcomplete
 shopt -u huponexit
 
 # Handle accidental tab mashing at start of a line.
-shopt -s no_emptycmd_completion
+shopt -s no_empty_cmd_completion
 
 # The Red Hat The
-shopt -u nocaseglob
-
-# Return a null string when no matches are found for a glob, rather than the 
-# literal pattern.
-shopt -s nullglob
+if [ "$OSTYPE" = "cygwin" ]; then
+  shopt -s nocaseglob
+else
+  shopt -u nocaseglob
+fi