Penguin
Diff: [ ! kill -0 $SSH_AGENT_PID > /dev/null 2>
EditPageHistoryDiffInfoLikePages

I'm sorry, there is no such page as [ ! kill -0 $SSH_AGENT_PID > /dev/null 2>?.