Console Output

[ssh-agent] Using credentials genie.theia (ssh://genie.theia@projects-storage.eclipse.org)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ ssh-agent
SSH_AUTH_SOCK=/var/folders/m2/17wgcwc5475b_1n17j20ftmm0000gr/T//ssh-jRYuoh83VT99/agent.43354
SSH_AGENT_PID=43355
Running ssh-add (command line suppressed)
Identity added: /Users/genie.theia/jenkins_agent/workspace/theia-example_master@tmp/private_key_7375956148218094118.key (/Users/genie.theia/jenkins_agent/workspace/theia-example_master@tmp/private_key_7375956148218094118.key)
[ssh-agent] Started.
$ ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 43355 killed;
[ssh-agent] Stopped.