]> git.nbdom.net Git - nb.git/commitdiff
bin/nb-update
authorNicolas Boisselier <nicolas.boisselier@gmail.com>
Tue, 24 Jul 2018 18:57:21 +0000 (19:57 +0100)
committerNicolas Boisselier <nicolas.boisselier@gmail.com>
Tue, 24 Jul 2018 18:57:21 +0000 (19:57 +0100)
bin/nb-update

index 8b9fa6bd90953bbe344b7c5564b26c262ccafa50..cb689ee3153c6959ca00d9db2376b6d2e827940e 100755 (executable)
@@ -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