diff options
Diffstat (limited to 'localmrsync')
| -rwxr-xr-x | localmrsync | 56 |
1 files changed, 56 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 |