Настройка Jenkins с хостами SSH Jump

Question

Как настроить соединения SSH в jenkins, когда у меня есть промежуточный бастион со своим собственным пользователем и ключом, подобным этому:

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 , в котором есть опция jumpdns, но нет собственного пользователя и ключа прыжка. И похоже, что другие искали без решения.

Как лучше всего настроить Jenkins для моей настройки SSH?