chiark / gitweb /
3007c4e23a46295f1806bc7d028361dbe55f56cd
[bin.git] / ssh-agent-shell
1 #! /bin/sh
2 if [ -z "$SSH_AGENT_PID" ]; then
3     exec ssh-agent bash "$@"
4 else
5     exec bash "$@"
6 fi