Add localmrsync and localvcshinit.

2 files changed, 129 insertions, 0 deletions

diff --git a/localmrsync b/localmrsync
new file mode 100755
index 0000000..b34e7ca
--- /dev/null
+++ b/localmrsync
@@ -0,0 +1,56 @@
+#!/bin/sh
+# Copyright © 2014-2015 Jonas Smedegaard <dr@jones.dk>
+# Description: create/update local + remote git and register in mr
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+#
+# Depends: git mr
+
+set -eu
+
+for dir in "$@"; do
+	if [ ! -d "$dir" ]; then
+		echo "Skipping non-dir \"$dir\""
+		continue
+	fi
+	cd "$dir"
+	if [ ! -d .git ]; then
+		if [ -z "$GIT_INIT_BASEURL" ]; then
+			echo "Skipping non-git dir \"$dir\" (set GIT_INIT_BASEURL to initialize)"
+			cd ..
+			continue
+		fi
+		touch ../.mrconfig
+		git init
+		git add -A
+		git commit -m "Initial commit."
+	fi
+	if ! url=$(git config --get remote.origin.url); then
+		git remote add origin "$GIT_INIT_BASEURL"/"$dir"
+		url=$(git config --get remote.origin.url)
+		mr reg
+	fi
+	host=$(echo "$url" | sed -e 's/:.*//')
+	path=$(echo "$url" | sed -e 's/.*://')
+	if ! ssh "$host" test -d "$path.git"; then
+		ssh "$host" mkdir -p "$(dirname "$path")"
+		ssh "$host" git init --bare "$path.git"
+	fi
+	git add -A && git commit -m "Sync." || true
+	git push --set-upstream origin master || true
+	cd ..
+done
+
+printf 'Done (press return)'
+read foo
diff --git a/localvcshinit b/localvcshinit
new file mode 100755
index 0000000..9f9da81
--- /dev/null
+++ b/localvcshinit
@@ -0,0 +1,73 @@
+#!/bin/sh
+# Copyright © 2014-2015 Jonas Smedegaard <dr@jones.dk>
+# Description: initialize vcsh local + remote git repository
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+#
+# Depends: vcsh git
+
+set -eu
+
+skel_url=https://github.com/RichiH/vcsh_mr_template
+
+PRG=$(basename "$0")
+
+showhelp() {
+	cat <<EOF
+Usage:   $PRG REPO BASE_URL
+
+Examples:
+    $PRG project git+ssh://source.example.org/srv/git/project
+
+EOF
+}
+
+exit1() {
+	response="${1:+Error: }${1:-Internal error!}"
+	echo >&2 "$response"
+	exit 1
+}
+
+repo=${1:-mr}
+base_url="$2"
+url="$base_url/$repo"
+
+if [ $# -ne 2 ]; then
+	showhelp
+	exit1 "wrong parameters"
+fi
+
+if ! vcsh list | grep -Fxq "$repo"; then
+	if [ vcsh = "$repo" ]; then
+		url="$base_url"
+		vcsh clone $skel_url mr
+		vcsh "$repo" remote set-url origin "$url"
+	else
+		vcsh init "$repo"
+		vcsh "$repo" remote add origin "$url"
+	fi
+fi
+
+host=$(echo "$url" | sed -e 's/:.*//')
+path=$(echo "$url" | sed -e 's/.*://')
+if ssh "$host" test -d "$path.git"; then
+	echo "Skipping vcsh remote \"$repo\" already pushed"
+else
+	ssh "$host" mkdir -p "$(dirname "$path")"
+	ssh "$host" git init --bare "$path.git"
+	vcsh "$repo" push --set-upstream origin master
+fi
+
+printf 'Done (press return)'
+read foo