flatline.org.uk -> chiark.greenend.org.uk

[bin.git] / ssh-agent-shell

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