ssh/config

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