使用SSH跳转主机配置Jenkins

Question

如果我有一个具有自己的用户和密钥的中间堡垒，我如何在jenkins中配置SSH连接：

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

这适用于cli ssh server。但我不知道如何将其编码到我的笔记本电脑本地运行的jenkins中，而不是作为一个单独的jenkins用户，即。 JENKINS_HOME=/Users/myname/.jenkins

我查看了Publish over SSH插件，它确实提供了一个跳转选项，但没有跳转自己的用户和密钥。似乎其他人在没有解决方案的情况下已经looking了。

为我的SSH设置配置Jenkins的最佳方法是什么？