Parcourir la source

show user.name when git rep dir

pull/1/head
10sr il y a 12 ans
Parent
révision
629acecab0
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. +1
    -1
      bashrc

+ 1
- 1
bashrc Voir le fichier

@@ -474,7 +474,7 @@ __my_prompt_function(){ # used by PS1
local pwd=$(echo "${PWD}/" | sed -e "s#${HOME}#~#")
local oldpwd=$(echo "${OLDPWD}/" | sed -e "s#${HOME}#~#")
local jobnum=$(jobs | wc -l) # a strange job exists...
local git=$(__try_exec __git_ps1 [GIT:%s])
local git="$(__try_exec __git_ps1 "[GIT:$(__try_exec git config --get user.name):%s]")"
local date=$(LANG=C __try_exec date +"%a, %d %b %Y %T %z")
local dirs=$(dirs | wc -l)
fi


Chargement…
Annuler
Enregistrer