From b47c32a4c4c3c374b7f87949c611372cc18baaa5 Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Tue, 24 Jul 2018 19:57:21 +0100 Subject: [PATCH] bin/nb-update --- bin/nb-update | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/nb-update b/bin/nb-update index 8b9fa6bd..cb689ee3 100755 --- a/bin/nb-update +++ b/bin/nb-update @@ -120,9 +120,9 @@ for repo in $(nb_repos); do else cmd_root="true" # NB 23.04.18: TODEL - [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:root.git" ] && git remote set-url origin git.nbdom.net:/home/git/root.git - [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:nbdom.git" ] && git remote set-url origin git.nbdom.net:/home/git/nbdom.git - [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:pi.git" ] && git remote set-url origin git.nbdom.net:/home/git/pi.git +# NB 24.07.18 [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:root.git" ] && git remote set-url origin git.nbdom.net:/home/git/root.git +# NB 24.07.18 [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:nbdom.git" ] && git remote set-url origin git.nbdom.net:/home/git/nbdom.git +# NB 24.07.18 [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:pi.git" ] && git remote set-url origin git.nbdom.net:/home/git/pi.git [ -x bin/$name-install ] && cmd_root="$cmd_root && echo ' >$name-install' && bin/$name-install|sed 's/^/ /'" if [ "$cmd_root" != "true" ]; then -- 2.47.3