chiark / gitweb /
This is useless now that I no longer have a hermes account.
[bin.git] / ssh-agent-shell
1 #! /bin/sh
2 if [ -n "$SSH_AGENT_PID" ]; then
3     exec ssh-agent bash "$@"
4 else
5     exec bash "$@"
6 fi