etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 7ea9cdceb25580137834e4efae5955d10526a2f6..6156a3ee6f434a0c1b18315dd6d907f1f6653b15 100644 (file)
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -199,7 +199,7 @@ git_branch_create_push() {
 }
 
 git_name() {
-       git config --local remote.origin.url|sed 's,^.*[:/]\([^:/\.]\+\)\(\.git\)\?$,\1,'
+       git config --local remote.origin.url | sed -E 's,^.*[:/]([^:/\.]+)(\.git)?$,\1,'
 }
 
 git_branch() {