ssh/config

   1 HashKnownHosts no
   2 ControlMaster auto
   3 ControlPath   ~/.cache/ssh/%l_%r@%h:%p
   4 VerifyHostKeyDNS yes
   5
   6 Host *
   7     Compression yes
   8
   9 Host *.inria.fr
  10     User        habouzit
  11
  12 #--- intersec ---
  13 Host demo-sfr
  14     Hostname    localhost
  15     Port        2222
  16     User        intersec
  17
  18 Host *.intersec.com
  19     Port        2222
  20     User        madcoder
  21
  22 Host beacon
  23     Hostname    beacon.intersec.eu
  24     Port        2222
  25     User        madcoder
  26
  27 Host pap
  28     Hostname localhost
  29     Port 2222
  30
  31 Host rudy
  32     HostName    rudy.intersec.com
  33     Port        2222
  34     User        madcoder
  35
  36 Host rood
  37     HostName    rood.intersec.com
  38     Port        2222
  39     User        madcoder
  40
  41 #--- madism ---
  42 Host *.madism.org
  43     User        madcoder
  44     ForwardAgent yes
  45
  46 Host pan
  47     Port        2222
  48     HostName    pan.madism.org
  49
  50 #--- X ---
  51 Host *.polytechnique.org
  52     User        x2000habouzit
  53
  54 #--- DEBIAN ---
  55 Host *.debian.org
  56     User        madcoder
  57
  58 # vim: set syntax=sshconfig: