chiark / gitweb /
ssh-agent-shell: Sigh. The sense of the $SSH_AGENT_PID check was exactly
[bin.git] / get-bugs
1 #! /bin/sh -e
2 ssh master grep "^$1 " /var/lib/debbugs/spool/index.db