Merge pull request #64 from jcarouth/master

Get rid of "Fatal error: not a git repository…" errors
2011-06-27 21:13:15 -07:00 · 2011-06-27 21:13:15 -07:00 · d3a7bdc996
parent e1eb0114ed 6e8733ea98
commit d3a7bdc996
1 changed files with 4 additions and 3 deletions
--- a/themes/doubletime/doubletime.theme.bash
+++ b/themes/doubletime/doubletime.theme.bash
@ -17,11 +17,12 @@ fi

 doubletime_scm_prompt() {
  CHAR=$(scm_char)
-  if [ $CHAR = $SCM_NONE_CHAR ]
-  then
+  if [ $CHAR = $SCM_NONE_CHAR ]; then
    return
-  else
+  elif [ $CHAR = $SCM_GIT_CHAR ]; then
    echo "$(git_prompt_status)"
+  else
+    echo "[$(scm_prompt_info)]"
  fi
 }