#!/bin/sh SSH_AUTH_SOCK='' SSH="ssh -q -F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null" if [ -z "$GIT_KEY_FILE" ] ; then exec $SSH "$@" else exec $SSH -i "$GIT_KEY_FILE" "$@" fi