equal
deleted
inserted
replaced
37 } |
37 } |
38 |
38 |
39 source $ZDOTDIR/tools/git-prompt.sh > /dev/null 2>&1 |
39 source $ZDOTDIR/tools/git-prompt.sh > /dev/null 2>&1 |
40 function __git_prompt_info { |
40 function __git_prompt_info { |
41 r=$(__git_ps1) |
41 r=$(__git_ps1) |
|
42 # If GIT_PS1_SHOWUNTRACKEDFILES is used, we need to escape the % |
|
43 r=${r//\%/%%} |
42 if [ ! -z $r ]; then echo -e "\n%Bgit%b$r"; fi |
44 if [ ! -z $r ]; then echo -e "\n%Bgit%b$r"; fi |
43 } |
45 } |
44 |
46 |
45 function __prompt_set_dev { |
47 function __prompt_set_dev { |
46 # Prompt complet sur 2 lignes, couleurs, avec un indicateur de dépôt git/hg |
48 # Prompt complet sur 2 lignes, couleurs, avec un indicateur de dépôt git/hg |