gitano()
{
    local keyname="$1"
    shift
    if [ "$keyname" = "liw" ]
    then
	ssh "$GITANO" "$@"
    else
	SSH_AUTH_SOCK= ssh -F "ssh.conf" -i "$keyname.key" "$GITANO" "$@"
    fi
}

die()
{
    echo "$@" 1>&2
    exit 1
}

attempt()
{
    if "$@" > "$DATADIR/attempt.stdout" 2> "$DATADIR/attempt.stderr"
    then
	echo 0 > "$DATADIR/attempt.exit"
    else
	echo $? > "$DATADIR/attempt.exit"
    fi
}

clone_using_git()
{
    local dir="$1/$2"
    local url="git://$GITHOST/$2"
    rm -rf "$dir"
    mkdir -p "$dir"
    if [ "$1" = liw ]
    then
	git clone "$url" "$dir"
    else
	SSH_AUTH_SOCK= git clone "$url" "$dir"
    fi
}

clone_using_ssh()
{
    local dir="$1/$2"
    local url="ssh://$GITANO/$2"
    rm -rf "$dir"
    mkdir -p "$dir"
    if [ "$1" = liw ]
    then
	git clone "$url" "$dir"
    else
	PATH="$SRCDIR:$PATH" git clone "$url" "$dir"
    fi
}