REPO_NAME="$(basename -s .git $(git remote get-url origin))"
[ -n "$REPO_NAME" ] || exit
+TMP="/tmp/$NAME.$$"
################################################################################
#
# Functions
# Main
#
#################################################################################
+printf '#!%s\n%s\n' "$(which sh)" 'ssh -o BatchMode=yes $@' > "$TMP" && chmod 755 "$TMP"
+export GIT_SSH="$TMP"
exec {F_INDENT1}> >(sed 's/^/ /')
exec {F_INDENT2}> >(sed -e 's/\r/\n/g' -e 's/^ *//' -e 's/^/ /')
-trap 'exec {F_INDENT1}>&-; exec {F_INDENT2}>&-;' EXIT
+trap "exec {F_INDENT1}>&-; exec {F_INDENT2}>&-; rm -f '$TMP'" EXIT
+#cat $TMP; exit
#V=1
#echo ${V:-2}
# Git pull
#
#REPO_BRANCH=$(git branch --show-current) || exit
-REPO_BRANCH=$(awk 'BEGIN{ex=1}/^\*/{print $2;ex=0}END{exit ex}') || exit
+REPO_BRANCH=$(git branch|awk 'BEGIN{ex=1}/^\*/{print $2;ex=0}END{exit ex}') || exit
[ -n "$REPO_BRANCH" ] || exit
if [ -r ~/.ssh/agent.sh ]
#git_conn_check || exit
echo ">Pull $REPO_NAME branch=$REPO_BRANCH user=$(whoami) path=$REPO_ROOT"
-
git pull >&$F_INDENT1 || exit
if [ "$CLEANUP" = "1" ]
#####################################################################
NAME="$(basename "${0}")"
[ -e "/run/$NAME.no" ] && exit
-TMP="/tmp/$NAME.$$"
LOCK="/run/nb/$NAME.lock"
[ -z "$UID" ] && UID="$(id -u)"
exit 1
fi
-printf '#!%s\n%s\n' `which sh` 'ssh -o BatchMode=yes $@' > "$TMP" && chmod 755 "$TMP"
-export GIT_SSH="$TMP"
-
#####################################################################
#
# Repos
#####################################################################
# End
#
-rm -f "$TMP"
echo
if [ "$ex" = "0" ]; then
printf ">OK\n"