git-remote-push

#!/usr/bin/env bash

#
# Before there was `git config receive.denyCurrentBranch updateInstead`, I used this
# to update working trees on a remote server.
#
# DEPENDENCIES: `git-bottle` (see repo).
#

if [ "$#" -eq 0 ] ; then
    echo "Expected host:path or remote-name" >&2
    exit -1
fi

set -u
set -e

REMOTE_DESC="$1"

shift 1
arr=(`echo $REMOTE_DESC | tr ':' ' '`)

if [[ ${#arr[@]} == 1 ]] ; then
    # No ':" in provided name
    while read -r line ; do
	remote_name=$(echo $line | awk -F" " '{print $1}')
	remote_url=$(echo $line | awk -F" " '{print $2}')
	if [[ "${remote_name}" == "${REMOTE_DESC}" ]] ; then
	    REMOTE_DESC=${remote_url}
	    break
	fi
    done < <(git remote -v | grep push)

    arr=(`echo $REMOTE_DESC | tr ':' ' '`)
    if [[ ${#arr[@]} == 1 ]] || [[ ${#arr[@]} == 0 ]]; then
	echo "Could not figure out remote path"
	exit -1
    fi
fi

dest=${arr[0]}
remote_path=${arr[1]}

if [ -z "$dest" ] ; then
    echo "Destination not specified" >&2
    exit -1
fi

if [ -z "$remote_path" ] ; then
    echo "Path on destination not specified" >&2
    exit -1
fi

branch=master

git-bottle
version=`git rev-parse HEAD`
git-unbottle

git push "$@" -f ${dest}:${remote_path} ${version}:${branch}
ssh -t ${dest} "cd ${remote_path} && git reset --hard ${branch}"