HashKnownHosts no ControlMaster auto ControlPath ~/.cache/ssh/%l_%r@%h:%p Compression yes VerifyHostKeyDNS yes Host * Compression yes Host *.inria.fr User habouzit #--- intersec --- Host demo-sfr Hostname localhost Port 2222 User intersec Host *.intersec.com Port 2222 User madcoder Host beacon Hostname beacon.intersec.eu Port 2222 User madcoder Host pap Hostname localhost Port 2222 Host rudy HostName rudy.intersec.com Port 2222 User madcoder Host rood HostName rood.intersec.com Port 2222 User madcoder #--- madism --- Host *.madism.org User madcoder ForwardAgent yes Host pan Port 2222 HostName pan.madism.org Hostname 88.191.52.104 #--- X --- Host *.polytechnique.org User x2000habouzit #--- DEBIAN --- Host *.debian.org User madcoder # vim: set syntax=sshconfig: