From: Nicolas Boisselier Date: Tue, 24 Jul 2018 18:57:21 +0000 (+0100) Subject: bin/nb-update X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=b47c32a4c4c3c374b7f87949c611372cc18baaa5;p=nb.git bin/nb-update --- 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