lib/nb-update/repo.sh

diff --git a/lib/nb-update/repo.sh b/lib/nb-update/repo.sh
index c4b8f68d5771358a807c82d7a7162e5414afd92e..379fc3121ee51182bd6cb1c00c5a44474af4d14b 100644 (file)
--- a/lib/nb-update/repo.sh
+++ b/lib/nb-update/repo.sh
@@ -1,9 +1,12 @@
-# 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
-       echo "Update git url for git@big:wp to git@git.nbdom.net:wp.git"
-       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
+git_change_url() {
+       local usage="Usage: git_change_url URL_FROM URL_TO"
+       local ufrom=${1:?$usage}; shift
+       local uto=${1:?$usage}; shift
+       [ "$(git config --get remote.origin.url)" = "$ufrom" ] || return
+       echo "Update git url for $ufrom to $uto"
+       git remote set-url origin $uto
+       nb_api_post_host_info "$preff.set-url" "$uto"
+}
+git_change_url "git@git.nbdom.net:root.git" "git.nbdom.net:/home/git/root.git"
+git_change_url "git@git.nbdom.net:nbdom.git" "git.nbdom.net:/home/git/nbdom.git"
+#git_change_url "git@git.nbdom.net:pi.git" "git.nbdom.net:/home/git/pi.git"