From 7dff3a842caee5795ce9ca204897e4d4b7918464 Mon Sep 17 00:00:00 2001
From: Alexandre CATTEAU <alexandre.catteau@gmail.com>
Date: Sat, 12 Mar 2022 15:45:33 +0100
Subject: [PATCH] Update git-prompt settings

---
 bashrc-mine | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bashrc-mine b/bashrc-mine
index 5560f93..25a1425 100644
--- a/bashrc-mine
+++ b/bashrc-mine
@@ -35,5 +35,5 @@ alias vboxstart='vboxmanage startvm --type=headless'
 
 # Set git prompt NOTE if too slow, see .git-prompt.sh for an alternative solution
 [ -e ~/.git-prompt.sh ] && source ~/.git-prompt.sh
-GITPS1='$(__git_ps1 " (%s)")'
-PS1=${PS1:0:${#PS1}-4}$GITPS1' \$ '
+[ -e ~/.git-prompt.sh ] && GITPS1='$(__git_ps1 " (%s)")'
+[ -e ~/.git-prompt.sh ] && PS1=${PS1:0:${#PS1}-4}$GITPS1' \$ '