From 3684f0f58844be67c2ecca82b613e8ae27811046 Mon Sep 17 00:00:00 2001
From: NAME <mail@gmail.com>
Date: Mon, 25 Jul 2022 17:11:56 -0400
Subject: [PATCH] fix _git_ps1 command not found situation

---
 bash_tools/theme_bash.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bash_tools/theme_bash.sh b/bash_tools/theme_bash.sh
index 01456e8..e173e47 100644
--- a/bash_tools/theme_bash.sh
+++ b/bash_tools/theme_bash.sh
@@ -1,7 +1,7 @@
 
 # display git status
 export GIT_PS1_SHOWDIRTYSTATE=1
-if [[ $(type -t foo) != function ]]; then
+if [[ $(type -t __git_ps1) != function ]]; then
     __git_ps1(){
 
         local branch=`git branch 2>/dev/null | grep '*' | sed 's/* \(.*\)/\1/'`