diff --git a/jenkins-home/ssh_config.in b/jenkins-home/ssh_config.in index ef3b8ad55e8940f9f5f37971afbc0eb66b4fef81..2d0e28f527e0f1a73e6d24807c1989bc8cf56e6a 100644 --- a/jenkins-home/ssh_config.in +++ b/jenkins-home/ssh_config.in @@ -1,6 +1,6 @@ Host * HashKnownHosts no - ControlMaster auto + ControlMaster no ControlPath ~/.ssh/master-%r@%h:%p # update_jdn will append here host specific instructions