chiark / gitweb /
my-debmirror: Continue on errors so that the non-US mirror is updated even
[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