]> git.nbdom.net Git - nb.git/commitdiff
lib/nb-update/repo.sh
authorNicolas Boisselier <nicolas.boisselier@gmail.com>
Thu, 21 Mar 2019 15:50:06 +0000 (15:50 +0000)
committerNicolas Boisselier <nicolas.boisselier@gmail.com>
Thu, 21 Mar 2019 15:50:06 +0000 (15:50 +0000)
bin/nb-update
lib/nb-update/repo.sh [new file with mode: 0644]

index 463e8028bccdfcf05cdc8e845e9b80b86395bc63..7f3c823c80cfb14071e63cc558abcc1ba1377c7d 100755 (executable)
@@ -61,19 +61,17 @@ for dir in $(nb_repos); do
        # preff to post report
        preff="git.$dir"
 
-       # include extra scripts
-       ! [ -r "$NB_ROOT/$NAME/repo.sh" ] || . "$NB_ROOT/$NAME/repo.sh" || exit
-               # NB 23.04.18: TODEL 
-# 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
-# NB 24.07.18     [ "$(git config --get remote.origin.url)" = "git@big:wp" ] && git remote set-url origin git@git.nbdom.net:wp.git && nb_api_post_host_info "$preff.set-url" "git@git.nbdom.net:wp.git"
-
        #
        # Get user
        #
        user=`ls -dl "$dir/.git" | awk '{print $3}'`
 
+       # include extra scripts
+       ! [ -r "$NB_ROOT/$NAME/repo.sh" ] || . "$NB_ROOT/$NAME/repo.sh" || exit
+
+       #
+       # Build command
+       #
        cmd=""
 
        #
diff --git a/lib/nb-update/repo.sh b/lib/nb-update/repo.sh
new file mode 100644 (file)
index 0000000..6a0b25c
--- /dev/null
@@ -0,0 +1,8 @@
+# NB 23.04.18: TODEL 
+# 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
+if [ "$(git config --get remote.origin.url)" = "git@big:wp" ]; then
+       git remote set-url origin git@git.nbdom.net:wp.git
+       nb_api_post_host_info "$preff.set-url" "git@git.nbdom.net:wp.git"
+fi