From 73028838e887cb470241ced77547f40473b93e38 Mon Sep 17 00:00:00 2001
From: David Alexander Majnemer <dmajnem2@yt.acm.uiuc.edu>
Date: Tue, 13 Jan 2009 01:33:19 -0600
Subject: [PATCH] bug fix for title_prompt in bash, use proper globs

---
 bash/title_prompt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bash/title_prompt b/bash/title_prompt
index ee37db7..d8987b3 100755
--- a/bash/title_prompt
+++ b/bash/title_prompt
@@ -12,12 +12,12 @@ function do_prompt ()
     fi
     export PS1="\[\033[01;32m\]\u@\h \[\033[01;34m\]\w ${ERROR_PROMPT}${BASE} \[\033[00m\]"
 
-    [[ $TERM != "cons*" ]] && [[ $TERM != "linux" ]] &&
+    [[ $TERM != cons* ]] && [ $TERM != linux ] &&
         echo -ne "\033]0;${USER}@${HOSTNAME}\007"
 }
 
 
 PROMPT_COMMAND=do_prompt
 
-[[ $TERM != "cons*" ]] && [[ $TERM != "linux" ]] &&
+[[ $TERM != cons* ]] && [ $TERM != linux ] &&
     trap 'echo -e "\e]1;${USER}@${HOSTNAME}: $BASH_COMMAND\007\c"' DEBUG