chiark / gitweb /
ssh-agent-shell: Sigh. The sense of the $SSH_AGENT_PID check was exactly