Sfoglia il codice sorgente

use __gitdir for detecting git rep

pull/1/head
10sr 12 anni fa
parent
commit
64d0803e13
1 ha cambiato i file con 2 aggiunte e 3 eliminazioni
  1. +2
    -3
      bashrc

+ 2
- 3
bashrc Vedi File

@@ -572,9 +572,8 @@ GIT_PS1_SHOWUPSTREAM=t
__my_ps1_git(){
local last=$?
null type __git_ps1 || return $last
null git status || return $last # __gitdir seems to be able to be used
#test -n "`git status -s -uno`" && local star=\* # done by SHOWDIRTYSTATE
__git_ps1 "[GIT:$(__try_exec git config --get user.name):%s${star}]"
null __gitdir || return $last
__git_ps1 "[GIT:$(__try_exec git config --get user.name):%s]"
return $last
}
__my_ps1_ipaddr(){


Caricamento…
Annulla
Salva