etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index bede08e59d5ca967a00ccf1e466c689df186ccd4..3cc94e2a5cf960e5b007e182065e0674a41ad842 100644 (file)
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -274,7 +274,7 @@ git_branch_create_push() {
 git_name() {
 # NB 01.05.18  git config --local remote.origin.url | sed -E -e 's,^[^:/]+[:/],,'  -e 's,/.*$,,' -e 's/\.git$//'
        # NB 16.10.24 git config --local remote.origin.url | sed -E -e 's,^[^:/]+[:/],,' -e 's,(/|\.git)$,,' -e 's,^.*/,,'
-       basename "$(git config --local remote.origin.url)" .git
+       basename "$(git config --local remote.origin.url | tr : /)" .git
 }
 
 git_branch() {