Loading jenkins-home/ssh_config +3 −0 Original line number Diff line number Diff line HashKnownHosts no Host * ControlMaster auto ControlPath ~/.ssh/master-%r@%h:%p Host bpi0-armhf-rb.debian.net Port 2222 Host hb0-armhf-rb.debian.net Loading Loading
jenkins-home/ssh_config +3 −0 Original line number Diff line number Diff line HashKnownHosts no Host * ControlMaster auto ControlPath ~/.ssh/master-%r@%h:%p Host bpi0-armhf-rb.debian.net Port 2222 Host hb0-armhf-rb.debian.net Loading