commit 9871eafe3d3d62d01345d68696e540db360706a0
parent 814d716bf63d18e0b7e1d578bb5ccb85a6be9792
Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe>
Date: Sun, 2 Jun 2024 13:27:16 -0500
bash: Added GIT_DESCRIBE_STYLE to git PS1
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.bashrc b/.bashrc
@@ -33,6 +33,7 @@ GIT_PS1_SHOWUPSTREAM="auto"
GIT_PS1_COMPRESSSPARSESTATE=1
GIT_PS1_SHOWCONFLICTSTATE=1
GIT_PS1_HIDE_IF_PWD_IGNORED=1
+GIT_PS1_DESCRIBE_STYLE=1
PS1='\$$([[ $PWD/ = $HOME/* ]] && GIT_DIR=$HOME/.dotfiles GIT_WORK_TREE=$HOME __git_ps1)$(__git_ps1) '
cd() { echo "Use pushd!"; }