dot/bashrc: Don't put fancy things in the prompt if bash is very old.

diff --git a/dot/bashrc b/dot/bashrc
index 4b51e7f..f9485c0 100644 (file)
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -70,13 +70,14 @@ if [ -t 0 ]; then
   fi
 
   ## Build the prompt string.
-  if type __git_ps1 >/dev/null 2>&1; then
-    git="$unbold$gitcolour\$(rc=\$?;__git_ps1;exit \$rc)$uncolour$bold"
-  else
-    git=""
+  git="" rc=""
+  if [[ ${BASH_VERSINFO[0]} -ge 4 ]]; then
+    if type __git_ps1 >/dev/null 2>&1; then
+      git="$unbold$gitcolour\$(rc=\$?;__git_ps1;exit \$rc)$uncolour$bold"
+    fi
+    rc="$unbold$rccolour\$(rc=\$?;case \$rc in 0);;"
+    rc="$rc*)echo -n \" rc=\$rc\";;esac;exit \$rc)$uncolour$bold"
   fi
-  rc="$unbold$rccolour\$(rc=\$?;case \$rc in 0);;"
-  rc="$rc*)echo -n \" rc=\$rc\";;esac;exit \$rc)$uncolour$bold"
   PS1="$nl$bold$left$sec_l$u\\h$sec_r \\w$git$rc$marker$right$unbold"
   PS2="$PS1 $bold>$unbold "
   unset nl bold unbold left right sec_l sec_r marker