From 45e911cf6c72ac7f45b89e87e6f36a71715ef97d Mon Sep 17 00:00:00 2001 From: David Alexander Majnemer Date: Tue, 13 Jan 2009 18:23:37 -0500 Subject: [PATCH] remove title_prompt --- bash/title_prompt | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 bash/title_prompt diff --git a/bash/title_prompt b/bash/title_prompt deleted file mode 100755 index d8987b3..0000000 --- a/bash/title_prompt +++ /dev/null @@ -1,23 +0,0 @@ -function do_prompt () -{ - if [ $? -ne 0 ] ; then - local ERROR_PROMPT="\[\033[01;31m\]" - fi - - local BASE - if [ $UID -ne 0 ] ; then - BASE="$" - else - BASE="#" - fi - export PS1="\[\033[01;32m\]\u@\h \[\033[01;34m\]\w ${ERROR_PROMPT}${BASE} \[\033[00m\]" - - [[ $TERM != cons* ]] && [ $TERM != linux ] && - echo -ne "\033]0;${USER}@${HOSTNAME}\007" -} - - -PROMPT_COMMAND=do_prompt - -[[ $TERM != cons* ]] && [ $TERM != linux ] && - trap 'echo -e "\e]1;${USER}@${HOSTNAME}: $BASH_COMMAND\007\c"' DEBUG