From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Fri, 22 Mar 2019 02:49:37 +0000 (+0000)
Subject: lib/nb-update/repo.sh
X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=4b9e371a40260db057f2258b86808bdba47d65a2;p=nb.git

lib/nb-update/repo.sh
---

diff --git a/lib/nb-update/repo.sh b/lib/nb-update/repo.sh
index c4b8f68d..379fc312 100644
--- 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"