#! /bin/sh
if [ -n "$SSH_AGENT_PID" ]; then
    exec ssh-agent bash "$@"
else
    exec bash "$@"
fi