#!/bin/bash
# SSH wrapper that uses our agent

export SSH_AUTH_SOCK=/tmp/ssh-agent.sock

exec /usr/bin/ssh \
    -o controlpath=none \
    -o batchmode=yes \
    -o stricthostkeychecking=yes \
    -o globalknownhostsfile="$(dirname $0)/ssh_known_hosts" \
    -o userknownhostsfile=/dev/null \
    "$@"