.ssh/config

   1 # .ssh/config générique mis à votre disposition
   2 # par les gentils membres actifs du Cr@ns
   3 # Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
   4 # Des questions, des suggestions : {nounou,ca}@lists.crans.org
   5 #  Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
   6 # Licence : WTFPL
   7
   8 # Les sections commentées par #~# sont des features qui ne sont pas activées
   9 # par défaut. Sentez-vous libre de les décommenter pour les utiliser.
  10
  11 # À noter que la plupart des serveurs présents dedans sont des serveurs
  12 # du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
  13 # Pensez à remplacer "loginCr@ns", "loginFedeRez" et "loginENS" par les login idoines
  14
  15 #------------------------------------------------------------------------------
  16
  17 # Les options qui ne sont pas identées sont activées pour toutes les connexions
  18 # Mêmes celles qui ne correspondent à aucun bloc plus bas
  19 # Activer la compression des données transmises lorsque c'est possible
  20 Compression yes
  21
  22 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
  23 #~# VisualHostKey yes
  24
  25 # Ne pas hasher les noms des machines auxquelles ont se connecte dans
  26 # le fichier known_hosts
  27 HashKnownHosts no
  28
  29 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
  30 # et de la fingerprint présentée par le serveur
  31 VerifyHostKeyDNS yes
  32
  33 # Les options suivantes apparaissent dans les blocs
  34 # Host = commence un bloc avec les noms qui utiliseront ce bloc
  35 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
  36 # User = nom d'utilisateur distant
  37 # Port = port de connexion (pour override le port 22)
  38 # ForwardAgent = forwarder l'agent ssh sur la machine
  39 #            (il vaut mieux qu'elle et ses administrateurs soient de confiance)
  40 # ProxyCommand = pour passer par un autre serveur intermédiaire
  41 #                (pour un serveur qui ne peut pas être contacté directement)
  42
  43
  44 # +--------------+
  45 # | Mes machines |
  46 # +--------------+
  47
  48 Host cerebro.crans.org cerebro
  49     HostName cerebro.crans.org
  50     User vincent
  51     ForwardAgent yes
  52
  53 Host eva.crans.org eva eeepc
  54     HostName eva.crans.org
  55     User vincent
  56     ForwardX11 yes
  57     ForwardAgent yes
  58
  59 Host cabal.crans.org cabal
  60     HostName cabal.crans.org
  61     User vincent
  62     ForwardX11 yes
  63     ForwardAgent yes
  64
  65 Host viki viki.wifi viki.wifi.crans.org
  66     HostName viki.wifi.crans.org
  67     User root
  68     Port 2222
  69
  70 # Les bots sur cerebro
  71 Host basile
  72     HostName cerebro.crans.org
  73     User basile
  74     ForwardAgent yes
  75 Host note-cerebro
  76     HostName cerebro.crans.org
  77     User note
  78     ForwardAgent yes
  79 Host deconnaisseur
  80     HostName cerebro.crans.org
  81     User deconnaisseur
  82     ForwardAgent yes
  83 Host pendu Hung hung
  84     HostName cerebro.crans.org
  85     User hung
  86     ForwardAgent yes
  87 Host historien
  88     HostName cerebro.crans.org
  89     User historien
  90     ForwardAgent yes
  91 Host salesman Salesman
  92     HostName cerebro.crans.org
  93     User salesman
  94     ForwardAgent yes
  95 Host themis Themis
  96     HostName cerebro.crans.org
  97     User themis
  98     ForwardAgent yes
  99 Host saturnin Saturnin
 100     HostName cerebro.crans.org
 101     User saturnin
 102     ForwardAgent yes
 103 Host ibot iBot
 104     HostName cerebro.crans.org
 105     User ibot
 106     ForwardAgent yes
 107
 108
 109 # +--------+
 110 # | Pimeys |
 111 # +--------+
 112 # Serveur dédié ovh
 113 # pimeys.fr = 176.31.106.206
 114
 115 Host pimeys pimeys.fr
 116     HostName pimeys.fr
 117     User vincent
 118     ForwardAgent yes
 119
 120
 121 # +-----------------+
 122 # | Machines du BDE |
 123 # +-----------------+
 124 # Parce que j'étais respo-info Makiavé[list]
 125
 126 Host kfet kfet.crans.org kfet1
 127     HostName kfet.crans.org
 128     User bde
 129
 130 Host kfet2 kfet2.crans.org
 131     HostName kfet2.crans.org
 132     User vincent
 133
 134 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
 135     HostName bde.crans.org
 136     User vincent
 137     ForwardAgent yes
 138
 139 Host bde2 bde2.crans.org note2
 140     HostName bde2.crans.org
 141     User vincent
 142     ForwardAgent yes
 143
 144 Host bde3 bde3.crans.org
 145     HostName bde3.crans.org
 146     User vincent
 147     ForwardAgent yes
 148
 149 Host video videobde videobde.crans.org
 150     HostName videobde.crans.org
 151     User vincent
 152     ForwardAgent yes
 153
 154 Host bureau bureau-bde bureau-bde.crans.org
 155     HostName bureau-bde.crans.org
 156     User bde
 157
 158
 159 # +----+
 160 # | PE |
 161 # +----+
 162 # Parce que j'y suis le bienvenu
 163
 164 Host linkki linkki.crans.org
 165     HostName linkki.crans.org
 166     User sword
 167
 168 Host ilma ilma.wifi ilma.wifi.crans.org
 169     HostName ilma.wifi.crans.org
 170     User sword
 171
 172 Host ruoska ruoska.crans.org
 173     HostName ruoska.crans.org
 174     User vincent
 175
 176
 177 # +-------+
 178 # | Power |
 179 # +-------+
 180 # Le ftp de Nit, gère A♡-TV. Parce que j'y suis aussi le bienvenu
 181
 182 Host power power.crans.org nit-git nit-git.crans.org
 183     HostName power.crans.org
 184     User vincent
 185
 186
 187 # +----+
 188 # | A♡ |
 189 # +----+
 190 # Parce que le département A♡ a une raspberry PI !
 191
 192 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
 193     HostName rasputin.crans.org
 194     User vincent
 195
 196
 197 # +-------------------+
 198 # | Serveurs du Cr@ns |
 199 # +-------------------+
 200 # Accessible aux apprentis
 201 # sauf zamok et ssh2, accessibles à tous les adhérents
 202
 203 Host appartement appartement.crans.org
 204     HostName appartement.crans.org
 205     User legallic
 206     ForwardAgent yes
 207
 208 Host apprentis apprentis.crans.org
 209     HostName apprentis.crans.org
 210     User legallic
 211
 212 Host asterisk sip asterisk.crans.org sip.crans.org
 213     HostName asterisk.crans.org
 214     User legallic
 215     ForwardAgent yes
 216
 217 Host asterisk.adm asterisk.adm.crans.org
 218     HostName asterisk.adm.crans.org
 219     User legallic
 220     ForwardAgent yes
 221
 222 Host backbone backbone.crans.org
 223     HostName backbone.crans.org
 224     User legallic
 225     ForwardAgent yes
 226
 227 Host backbone.adm backbone.adm.crans.org
 228     HostName backbone.adm.crans.org
 229     User legallic
 230     ForwardAgent yes
 231
 232 Host backbone.wifi backbone.wifi.crans.org
 233     HostName backbone.wifi.crans.org
 234     User legallic
 235     ForwardAgent yes
 236
 237 Host batk-0 batk-0.crans.org
 238     HostName batk-0.crans.org
 239     User legallic
 240
 241 Host canard.adm canard.adm.crans.org
 242     HostName canard.adm.crans.org
 243     User legallic
 244     ForwardAgent yes
 245
 246 Host canard.ferme canard canard.ferme.crans.org
 247     HostName canard.ferme.crans.org
 248     User legallic
 249     ForwardAgent yes
 250
 251 Host cas auth login cas.crans.org login.crans.org auth.crans.org
 252     HostName cas.crans.org
 253     User legallic
 254     ForwardAgent yes
 255
 256 Host cas.adm cas.adm.crans.org
 257     HostName cas.adm.crans.org
 258     User legallic
 259     ForwardAgent yes
 260
 261 Host charybde darcs ftp ftp.crans.ens-cachan.fr git karibe mirror ntp xn--hxamgu1bpkn charybde.crans.org karibe.crans.org xn--hxamgu1bpkn.crans.org ftp.crans.org mirror.crans.org ftp.crans.ens-cachan.fr ntp.crans.org git.crans.org darcs.crans.org
 262     HostName charybde.crans.org
 263     User legallic
 264     ForwardAgent yes
 265
 266 Host charybde.adm ftp.adm git.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org git.adm.crans.org
 267     HostName charybde.adm.crans.org
 268     User legallic
 269     ForwardAgent yes
 270
 271 Host cochon.adm cochon.adm.crans.org
 272     HostName cochon.adm.crans.org
 273     User legallic
 274     ForwardAgent yes
 275
 276 Host cochon.ferme cochon cochon.ferme.crans.org
 277     HostName cochon.ferme.crans.org
 278     User legallic
 279     ForwardAgent yes
 280
 281 Host dhcp dhcp.crans.org
 282     HostName dhcp.crans.org
 283     User legallic
 284     ForwardAgent yes
 285
 286 Host dhcp-21 dhcp-21.crans.org
 287     HostName dhcp-21.crans.org
 288     User legallic
 289     ForwardAgent yes
 290
 291 Host dhcp.adm dhcp.adm.crans.org
 292     HostName dhcp.adm.crans.org
 293     User legallic
 294     ForwardAgent yes
 295
 296 Host dindon.adm dindon.adm.crans.org
 297     HostName dindon.adm.crans.org
 298     User legallic
 299     ForwardAgent yes
 300
 301 Host dindon.ferme dindon dindon.ferme.crans.org
 302     HostName dindon.ferme.crans.org
 303     User legallic
 304     ForwardAgent yes
 305
 306 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
 307     HostName dyson.crans.org
 308     User legallic
 309     ForwardAgent yes
 310
 311 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
 312     HostName dyson.adm.crans.org
 313     User legallic
 314     ForwardAgent yes
 315
 316 Host freebox freebox.crans.org
 317     HostName freebox.crans.org
 318     User legallic
 319     ForwardAgent yes
 320
 321 Host gordon gordon.crans.org
 322     HostName gordon.crans.org
 323     User legallic
 324     ForwardAgent yes
 325
 326 Host gordon.adm gordon.adm.crans.org
 327     HostName gordon.adm.crans.org
 328     User legallic
 329     ForwardAgent yes
 330
 331 Host gordon.wifi nectaris.wifi ragnarok.wifi vpn wifi-update gordon.wifi.crans.org wifi-update.crans.org nectaris.wifi.crans.org vpn.crans.org ragnarok.wifi.crans.org
 332     HostName gordon.wifi.crans.org
 333     User legallic
 334     ForwardAgent yes
 335
 336 Host horde horde.crans.org
 337     HostName horde.crans.org
 338     User legallic
 339     ForwardAgent yes
 340
 341 Host horde.adm horde.adm.crans.org
 342     HostName horde.adm.crans.org
 343     User legallic
 344     ForwardAgent yes
 345
 346 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
 347     HostName irc.crans.org
 348     User legallic
 349     ForwardAgent yes
 350
 351 Host irc.adm irc.adm.crans.org
 352     HostName irc.adm.crans.org
 353     User legallic
 354     ForwardAgent yes
 355
 356 Host isc isc.crans.org
 357     HostName isc.crans.org
 358     User legallic
 359     ForwardAgent yes
 360
 361 Host isc.adm isc.adm.crans.org
 362     HostName isc.adm.crans.org
 363     User legallic
 364     ForwardAgent yes
 365
 366 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
 367     HostName jouvence.crans.org
 368     User legallic
 369     ForwardAgent yes
 370
 371 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
 372     HostName jouvence.adm.crans.org
 373     User legallic
 374     ForwardAgent yes
 375
 376 Host kdell kdell.crans.org
 377     HostName kdell.crans.org
 378     User legallic
 379     ForwardAgent yes
 380
 381 Host kdell.adm kdell.adm.crans.org
 382     HostName kdell.adm.crans.org
 383     User legallic
 384     ForwardAgent yes
 385
 386 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
 387     HostName kenobi.crans.org
 388     User legallic
 389     ForwardAgent yes
 390
 391 Host kenobi.adm kenobi.adm.crans.org
 392     HostName kenobi.adm.crans.org
 393     User legallic
 394     ForwardAgent yes
 395
 396 Host komaz komaz.crans.org
 397     HostName komaz.crans.org
 398     User legallic
 399     ForwardAgent yes
 400
 401 Host komaz-21 komaz-21.crans.org
 402     HostName komaz-21.crans.org
 403     User legallic
 404     ForwardAgent yes
 405
 406 Host komaz.adm komaz.adm.crans.org
 407     HostName komaz.adm.crans.org
 408     User legallic
 409     ForwardAgent yes
 410
 411 Host komaz.wifi komaz.wifi.crans.org
 412     HostName komaz.wifi.crans.org
 413     User legallic
 414     ForwardAgent yes
 415
 416 Host lapin.adm lapin.adm.crans.org
 417     HostName lapin.adm.crans.org
 418     User legallic
 419     ForwardAgent yes
 420
 421 Host lapin.ferme lapin lapin.ferme.crans.org
 422     HostName lapin.ferme.crans.org
 423     User legallic
 424     ForwardAgent yes
 425
 426 Host malloc malloc.crans.org
 427     HostName malloc.crans.org
 428     User legallic
 429     ForwardAgent yes
 430
 431 Host malloc.adm malloc.adm.crans.org
 432     HostName malloc.adm.crans.org
 433     User legallic
 434     ForwardAgent yes
 435
 436 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
 437     HostName mdr.crans.org
 438     User legallic
 439     ForwardAgent yes
 440
 441 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
 442     HostName mdr.adm.crans.org
 443     User legallic
 444     ForwardAgent yes
 445
 446 Host nat64 nat64.crans.org
 447     HostName nat64.crans.org
 448     User legallic
 449     ForwardAgent yes
 450
 451 Host nat64.adm nat64.adm.crans.org
 452     HostName nat64.adm.crans.org
 453     User legallic
 454     ForwardAgent yes
 455
 456 Host nem nem.crans.org
 457     HostName nem.crans.org
 458     User legallic
 459     ForwardAgent yes
 460
 461 Host nem.adm nem.adm.crans.org
 462     HostName nem.adm.crans.org
 463     User legallic
 464     ForwardAgent yes
 465
 466 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
 467     HostName news.crans.org
 468     User legallic
 469     ForwardAgent yes
 470
 471 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
 472     HostName news.adm.crans.org
 473     User legallic
 474     ForwardAgent yes
 475
 476 Host niomniom autostatus ca crans.ens-cachan.fr crans.org doc federez i-p install-party map webalizer wifi wiki wikipedia www niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org federez.crans.org wifi.crans.org i-p.crans.org crans.org crans.ens-cachan.fr ca.crans.org webalizer.crans.org doc.crans.org map.crans.org wikipedia.crans.org
 477     HostName niomniom.crans.org
 478     User legallic
 479     ForwardAgent yes
 480
 481 Host niomniom.adm niomniom.adm.crans.org
 482     HostName niomniom.adm.crans.org
 483     User legallic
 484     ForwardAgent yes
 485
 486 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
 487     HostName o2.crans.org
 488     User legallic
 489     ForwardAgent yes
 490
 491 Host o2.adm o2.adm.crans.org
 492     HostName o2.adm.crans.org
 493     User legallic
 494     ForwardAgent yes
 495
 496 Host oie.adm oie.adm.crans.org
 497     HostName oie.adm.crans.org
 498     User legallic
 499     ForwardAgent yes
 500
 501 Host oie.ferme oie oie.ferme.crans.org
 502     HostName oie.ferme.crans.org
 503     User legallic
 504     ForwardAgent yes
 505
 506 Host ovh msn ovh.crans.org msn.crans.org
 507     HostName ovh.crans.org
 508     User legallic
 509     ForwardAgent yes
 510
 511 Host ovh.adm ovh.adm.crans.org
 512     HostName ovh.adm.crans.org
 513     User legallic
 514     ForwardAgent yes
 515
 516 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
 517     HostName owl.crans.org
 518     User legallic
 519     ForwardAgent yes
 520
 521 Host owl.adm owl.adm.crans.org
 522     HostName owl.adm.crans.org
 523     User legallic
 524     ForwardAgent yes
 525
 526 Host pegase pegase.crans.org
 527     HostName pegase.crans.org
 528     User legallic
 529     ForwardAgent yes
 530
 531 Host puppet puppet.crans.org
 532     HostName puppet.crans.org
 533     User legallic
 534     ForwardAgent yes
 535
 536 Host puppet.adm puppet.adm.crans.org
 537     HostName puppet.adm.crans.org
 538     User legallic
 539     ForwardAgent yes
 540
 541 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
 542     HostName redisdead.crans.org
 543     User legallic
 544     ForwardAgent yes
 545
 546 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
 547     HostName redisdead.adm.crans.org
 548     User legallic
 549     ForwardAgent yes
 550
 551 Host roundcube roundcube.crans.org
 552     HostName roundcube.crans.org
 553     User legallic
 554     ForwardAgent yes
 555
 556 Host roundcube.adm roundcube.adm.crans.org
 557     HostName roundcube.adm.crans.org
 558     User legallic
 559     ForwardAgent yes
 560
 561 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
 562     HostName routeur.crans.org
 563     User legallic
 564     ForwardAgent yes
 565
 566 Host routeur-21 routeur-21.crans.org
 567     HostName routeur-21.crans.org
 568     User legallic
 569     ForwardAgent yes
 570
 571 Host routeur.adm routeur.adm.crans.org
 572     HostName routeur.adm.crans.org
 573     User legallic
 574     ForwardAgent yes
 575
 576 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
 577     HostName sable.crans.org
 578     User legallic
 579     ForwardAgent yes
 580
 581 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
 582     HostName sable.adm.crans.org
 583     User legallic
 584     ForwardAgent yes
 585
 586 Host schrodingred schrodingred.crans.org
 587     HostName schrodingred.crans.org
 588     User legallic
 589     ForwardAgent yes
 590
 591 Host schrodingred.adm schrodingred.adm.crans.org
 592     HostName schrodingred.adm.crans.org
 593     User legallic
 594     ForwardAgent yes
 595
 596 Host sogo sogo.crans.org
 597     HostName sogo.crans.org
 598     User legallic
 599     ForwardAgent yes
 600
 601 Host sogo.adm sogo.adm.crans.org
 602     HostName sogo.adm.crans.org
 603     User legallic
 604     ForwardAgent yes
 605
 606 Host ssh2 ssh2.crans.org
 607     # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
 608     # pour passer à travers les blocages de ports (443 = https)
 609     HostName 138.231.136.2
 610     Port 443
 611     User legallic
 612     ForwardAgent yes
 613
 614 Host template template.crans.org
 615     HostName template.crans.org
 616     User legallic
 617     ForwardAgent yes
 618
 619 Host template.adm template.adm.crans.org
 620     HostName template.adm.crans.org
 621     User legallic
 622     ForwardAgent yes
 623
 624 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
 625     HostName thot.crans.org
 626     User legallic
 627     ForwardAgent yes
 628
 629 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
 630     HostName thot.adm.crans.org
 631     User legallic
 632     ForwardAgent yes
 633
 634 Host titanic titanic.crans.org
 635     HostName titanic.crans.org
 636     User legallic
 637     ForwardAgent yes
 638
 639 Host titanic.adm titanic.adm.crans.org
 640     HostName titanic.adm.crans.org
 641     User legallic
 642     ForwardAgent yes
 643
 644 Host tracker todo tracker.crans.org todo.crans.org
 645     HostName tracker.crans.org
 646     User legallic
 647     ForwardAgent yes
 648
 649 Host tracker.adm tracker.adm.crans.org
 650     HostName tracker.adm.crans.org
 651     User legallic
 652     ForwardAgent yes
 653
 654 Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org
 655     HostName vo.crans.org
 656     User legallic
 657     ForwardAgent yes
 658
 659 Host vo.adm vo.adm.crans.org
 660     HostName vo.adm.crans.org
 661     User legallic
 662     ForwardAgent yes
 663
 664 Host xmpp aim chat.yahoo conference conference.jabber icq jabber yahoo xmpp.crans.org icq.crans.org aim.crans.org conference.crans.org jabber.crans.org yahoo.crans.org chat.yahoo.crans.org conference.jabber.crans.org
 665     HostName xmpp.crans.org
 666     User legallic
 667     ForwardAgent yes
 668
 669 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
 670     HostName xmpp.adm.crans.org
 671     User legallic
 672     ForwardAgent yes
 673
 674 Host ytrap-llatsni ytrap-llatsni.crans.org
 675     HostName ytrap-llatsni.crans.org
 676     User legallic
 677     ForwardAgent yes
 678
 679 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
 680     HostName ytrap-llatsni.adm.crans.org
 681     User legallic
 682     ForwardAgent yes
 683
 684 Host zamok accounts bda-paris bleu blogs clubs.ens-cachan.fr factures impression intranet mysql perso ssh www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org
 685     HostName zamok.crans.org
 686     User legallic
 687     ForwardAgent yes
 688
 689 Host zamok.adm bleu.adm impression.adm users.adm zamok.adm.crans.org bleu.adm.crans.org impression.adm.crans.org users.adm.crans.org
 690     HostName zamok.adm.crans.org
 691     User legallic
 692     ForwardAgent yes
 693
 694
 695 # +-------------------------+
 696 # | Serveurs Cr@ns adm-only |
 697 # +-------------------------+
 698 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
 699 # d'où la ProxyCommand
 700 # fy et fz ne sont accessibles qu'aux nounous
 701
 702 Host alice.adm alice alice alice.adm.crans.org
 703     HostName alice.adm.crans.org
 704     User legallic
 705     ForwardAgent yes
 706     ProxyCommand ssh sable.crans.org -W %h:%p
 707
 708 Host babar.adm babar babar babar.adm.crans.org
 709     HostName babar.adm.crans.org
 710     User legallic
 711     ForwardAgent yes
 712     ProxyCommand ssh sable.crans.org -W %h:%p
 713
 714 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
 715     HostName bcfg2.adm.crans.org
 716     User legallic
 717     ForwardAgent yes
 718     ProxyCommand ssh sable.crans.org -W %h:%p
 719
 720 Host daath.adm daath daath daath.adm.crans.org
 721     HostName daath.adm.crans.org
 722     User legallic
 723     ForwardAgent yes
 724     ProxyCommand ssh sable.crans.org -W %h:%p
 725
 726 Host eap.adm eap eap eap.adm.crans.org
 727     HostName eap.adm.crans.org
 728     User legallic
 729     ForwardAgent yes
 730     ProxyCommand ssh sable.crans.org -W %h:%p
 731
 732 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
 733     HostName fx-ilo.adm.crans.org
 734     User legallic
 735     ForwardAgent yes
 736     ProxyCommand ssh sable.crans.org -W %h:%p
 737     HostKeyAlgorithms ssh-rsa
 738
 739 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
 740     HostName fy-ilo.adm.crans.org
 741     User legallic
 742     ForwardAgent yes
 743     ProxyCommand ssh sable.crans.org -W %h:%p
 744     HostKeyAlgorithms ssh-rsa
 745
 746 Host fy.adm fy fy fy.adm.crans.org
 747     HostName fy.adm.crans.org
 748     User legallic
 749     ForwardAgent yes
 750     ProxyCommand ssh sable.crans.org -W %h:%p
 751
 752 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
 753     HostName fz-ilo.adm.crans.org
 754     User legallic
 755     ForwardAgent yes
 756     ProxyCommand ssh sable.crans.org -W %h:%p
 757     HostKeyAlgorithms ssh-rsa
 758
 759 Host fz.adm fz fz fz.adm.crans.org
 760     HostName fz.adm.crans.org
 761     User legallic
 762     ForwardAgent yes
 763     ProxyCommand ssh sable.crans.org -W %h:%p
 764
 765 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
 766     HostName kdell-idrac.adm.crans.org
 767     User legallic
 768     ForwardAgent yes
 769     ProxyCommand ssh sable.crans.org -W %h:%p
 770
 771 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
 772     HostName komaz-ilo.adm.crans.org
 773     User legallic
 774     ForwardAgent yes
 775     ProxyCommand ssh sable.crans.org -W %h:%p
 776     HostKeyAlgorithms ssh-rsa
 777
 778 Host pea.adm pea pea pea.adm.crans.org
 779     HostName pea.adm.crans.org
 780     User legallic
 781     ForwardAgent yes
 782     ProxyCommand ssh sable.crans.org -W %h:%p
 783
 784 Host radius.adm radius radius radius.adm.crans.org
 785     HostName radius.adm.crans.org
 786     User legallic
 787     ForwardAgent yes
 788     ProxyCommand ssh sable.crans.org -W %h:%p
 789
 790 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
 791     HostName sable-ilo.adm.crans.org
 792     User legallic
 793     ForwardAgent yes
 794     ProxyCommand ssh sable.crans.org -W %h:%p
 795     HostKeyAlgorithms ssh-rsa
 796
 797 Host slon.adm slon slon slon.adm.crans.org
 798     HostName slon.adm.crans.org
 799     User legallic
 800     ForwardAgent yes
 801     ProxyCommand ssh sable.crans.org -W %h:%p
 802
 803 Host test42.adm test42 test42 test42.adm.crans.org
 804     HostName test42.adm.crans.org
 805     User legallic
 806     ForwardAgent yes
 807     ProxyCommand ssh sable.crans.org -W %h:%p
 808
 809 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
 810     HostName vert.adm.crans.org
 811     User legallic
 812     ForwardAgent yes
 813     ProxyCommand ssh sable.crans.org -W %h:%p
 814
 815 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
 816     HostName zbee-idrac.adm.crans.org
 817     User legallic
 818     ForwardAgent yes
 819     ProxyCommand ssh sable.crans.org -W %h:%p
 820
 821 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
 822     HostName zbee.adm.crans.org
 823     User legallic
 824     ForwardAgent yes
 825     ProxyCommand ssh sable.crans.org -W %h:%p
 826
 827
 828 # +---------+
 829 # | FedeRez |
 830 # +---------+
 831 # Accessibles aux membres de l'équipe d'admin de FedeRez
 832
 833 # Actuellement down, mais on ne sait jamais
 834 Host nautilus nautilus.federez.net
 835     HostName nautilus.federez.net
 836     User legallic
 837     ForwardAgent yes
 838
 839 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 840     HostName baldrick.federez.net
 841     User legallic
 842     ForwardAgent yes
 843
 844 Host quigon quigon.federez.net
 845     HostName quigon.federez.net
 846     User legallic
 847     ForwardAgent yes
 848
 849 Host polygon polygon.federez.net
 850     HostName polygon.federez.net
 851     User legallic
 852     ForwardAgent yes
 853
 854 Host hexagon hexagon.federez.net
 855     HostName hexagon.federez.net
 856     User legallic
 857     ForwardAgent yes
 858
 859
 860 # +-------------------+
 861 # | Serveurs de l'ENS |
 862 # +-------------------+
 863 # Accessibles aux élèves de l'ENS
 864
 865 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
 866     HostName tselin.clietu.ens-cachan.fr
 867     User vlegalli
 868
 869 Host tahines.ens-cachan.fr tahines2 tahines
 870     HostName tahines.ens-cachan.fr
 871     User vlegalli
 872
 873
 874 # +-----+
 875 # | Ulm |
 876 # +-----+
 877 # Parce que je me suis inscrit à la DSI d'Ulm
 878
 879 Host clipper clipper.ens.fr
 880     HostName clipper.ens.fr
 881     User legallic
 882
 883
 884 # +------------------+
 885 # | Département info |
 886 # +------------------+
 887 # Machines du département informatique de l'ENSC
 888
 889 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
 890     #HostName 138.231.36.60
 891     HostName ssh.dptinfo.ens-cachan.fr
 892     User vlegalli
 893     ForwardAgent yes
 894
 895 Host dptinfo*.dptinfo.ens-cachan.fr
 896     HostName %h
 897     User vlegalli
 898     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 899     ForwardAgent yes
 900
 901 Host info*
 902     HostName dpt%h.dptinfo.ens-cachan.fr
 903     User vlegalli
 904     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 905     ForwardAgent yes
 906
 907
 908 # +---------+
 909 # | Télécom |
 910 # +---------+
 911 # Stage au labo de Télécom ParisTech
 912
 913 Host ssh.enst enst ssh.enst.fr
 914     HostName ssh.enst.fr
 915     User legallic
 916     ForwardAgent yes
 917
 918 Host infres infres.enst.fr
 919     HostName infres.enst.fr
 920     User legallic
 921     ProxyCommand ssh ssh.enst.fr -W %h:%p
 922     ForwardAgent yes
 923
 924 Host tipaza tipaza.enst.fr
 925     HostName tipaza.enst.fr
 926     User legallic
 927     ProxyCommand ssh ssh.enst.fr -W %h:%p
 928     ForwardAgent yes
 929
 930 # END (utile pour éviter les merge conflicts)
 931