Index: TipAndDoc/.bashrc
===================================================================
--- TipAndDoc/.bashrc	(revision 74ab10f8501ae2704728af3b9905c094eced1092)
+++ TipAndDoc/.bashrc	(revision 29f6915b8885ccc458b4c0cfd723a392858fd73a)
@@ -1,8 +1,2 @@
-# enable programmable completion features (you don't need to enable
-# this, if it's already enabled in /etc/bash.bashrc and /etc/profile
-# sources /etc/bash.bashrc).
-if [ -f /etc/bash_completion ]; then
-    . /etc/bash_completion
-fi
 
 umask 022   # create new file with '644'
@@ -33,5 +27,6 @@
 }
 
-if [ -f $BASH_COMPLETION_DIR/git -o -f $BASH_COMPLETION_COMPAT_DIR/git ]; then
+if [ -f $BASH_COMPLETION_DIR/git -o -f $BASH_COMPLETION_COMPAT_DIR/git \
+     -o -f $BASH_COMPLETION_COMPAT_DIR/git-prompt ]; then
     export PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w$(__git_ps1)\$ '
 else
