From 629acecab017a2ed846adba76d249d8f826d9460 Mon Sep 17 00:00:00 2001 From: 10sr <8slashes+git@gmail.com> Date: Wed, 6 Jun 2012 12:42:51 +0900 Subject: [PATCH] show user.name when git rep dir --- bashrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bashrc b/bashrc index 577ebde..d1ec774 100755 --- a/bashrc +++ b/bashrc @@ -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