Configuring Jenkins with SSH jump hosts

问题

How do I configure SSH connections in jenkins, when I have an intermediate bastion with its own user and key like this:

Host jump
  User user1
  HostName jumpdns
  IdentityFile /Users/myname/.ssh/jumpkey.pem

Host server
  User user2
  HostName serverdns
  IdentityFile /Users/myname/.ssh/serverkey.pem
  ForwardAgent yes
  ProxyJump jump

This works on cli as ssh server. But I dont know how to encode that into my jenkins that is running locally in my laptop from within my user and not as a separate jenkins user ie. JENKINS_HOME=/Users/myname/.jenkins

I looked into Publish over SSH plugin and it does provide for a jumpdns option but not jump's own user and key. And it seems like others have been been looking for it without a solution.

What is the best way to configure Jenkins for my SSH setup?

来源：https://stackoverflow.com/questions/50049727/configuring-jenkins-with-ssh-jump-hosts