gpg-refresh-cache: new tool to facilitate use of gnupg-agent

[bin.git] / ssh-agent-shell

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