.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 Host home colloc gladys home.b2moo.fr
  71     HostName home.b2moo.fr
  72     User vincent
  73     ForwardAgent yes
  74
  75 # Les bots sur cerebro
  76 Host basile
  77     HostName cerebro.crans.org
  78     User basile
  79     ForwardAgent yes
  80 Host note-cerebro
  81     HostName cerebro.crans.org
  82     User note
  83     ForwardAgent yes
  84 Host deconnaisseur
  85     HostName cerebro.crans.org
  86     User deconnaisseur
  87     ForwardAgent yes
  88 Host pendu Hung hung
  89     HostName cerebro.crans.org
  90     User hung
  91     ForwardAgent yes
  92 Host historien
  93     HostName cerebro.crans.org
  94     User historien
  95     ForwardAgent yes
  96 Host salesman Salesman
  97     HostName cerebro.crans.org
  98     User salesman
  99     ForwardAgent yes
 100 Host themis Themis
 101     HostName cerebro.crans.org
 102     User themis
 103     ForwardAgent yes
 104 Host saturnin Saturnin
 105     HostName cerebro.crans.org
 106     User saturnin
 107     ForwardAgent yes
 108 Host ibot iBot
 109     HostName cerebro.crans.org
 110     User ibot
 111     ForwardAgent yes
 112
 113
 114 # +--------+
 115 # | Pimeys |
 116 # +--------+
 117 # Serveur dédié ovh
 118 # pimeys.fr = 176.31.106.206
 119
 120 Host pimeys pimeys.fr
 121     HostName pimeys.fr
 122     User vincent
 123     ForwardAgent yes
 124
 125 # Nouveau dédié
 126 # becue.eu = 62.210.178.115
 127 Host becue becue.eu
 128     HostName becue.eu
 129     User vincent
 130     ForwardAgent yes
 131
 132
 133 # +-----------------+
 134 # | Machines du BDE |
 135 # +-----------------+
 136 # Parce que j'étais respo-info Makiavé[list]
 137
 138 Host kfet kfet.crans.org kfet1
 139     HostName kfet.crans.org
 140     User bde
 141
 142 Host kfet2 kfet2.crans.org
 143     HostName kfet2.crans.org
 144     User vincent
 145
 146 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
 147     HostName note.crans.org
 148     User vincent
 149     ForwardAgent yes
 150
 151 Host bde2 bde2.crans.org note2
 152     HostName bde2.crans.org
 153     User vincent
 154     ForwardAgent yes
 155
 156 Host bde3 bde3.crans.org
 157     HostName bde3.crans.org
 158     User vincent
 159     ForwardAgent yes
 160
 161 Host video videobde videobde.crans.org
 162     HostName videobde.crans.org
 163     User vincent
 164     ForwardAgent yes
 165
 166 Host bureau bureau-bde bureau-bde.crans.org
 167     HostName bureau-bde.crans.org
 168     User bde
 169
 170
 171 # +----+
 172 # | PE |
 173 # +----+
 174 # Parce que j'y suis le bienvenu
 175
 176 Host linkki linkki.crans.org
 177     HostName linkki.crans.org
 178     User sword
 179
 180 Host ilma ilma.wifi ilma.wifi.crans.org
 181     HostName ilma.wifi.crans.org
 182     User sword
 183
 184 Host ruoska ruoska.crans.org
 185     HostName ruoska.crans.org
 186     User vincent
 187
 188
 189 # +-----+
 190 # | Nit |
 191 # +-----+
 192 # Parce que j'y suis le bienvenu
 193
 194 # Le ftp de Nit, gère A♡-TV.
 195 Host power power.crans.org nit-git nit-git.crans.org
 196     HostName power.crans.org
 197     User vincent
 198
 199 # Réplicat du wikoeur
 200 Host genua acoeur.genua.fr
 201     HostName acoeur.genua.fr
 202     User root
 203     AddressFamily inet6
 204
 205 # +----+
 206 # | A♡ |
 207 # +----+
 208 # Parce que le département A♡ a une raspberry PI et un serveur !
 209
 210 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
 211     HostName rasputin.crans.org
 212     User vincent
 213
 214 Host acoeur acoeur.crans.org
 215     HostName acoeur.crans.org
 216     User vincent
 217     ForwardAgent yes
 218
 219 # +-------------------+
 220 # | Serveurs du Cr@ns |
 221 # +-------------------+
 222 # Accessible aux apprentis
 223 # sauf zamok et ssh2, accessibles à tous les adhérents
 224
 225 Host appartement appartement.crans.org
 226     HostName appartement.crans.org
 227     User legallic
 228     ForwardAgent yes
 229
 230 Host apprentis apprentis.crans.org
 231     HostName apprentis.crans.org
 232     User legallic
 233
 234 Host asterisk sip asterisk.crans.org sip.crans.org
 235     HostName asterisk.crans.org
 236     User legallic
 237     ForwardAgent yes
 238
 239 Host asterisk.adm asterisk.adm.crans.org
 240     HostName asterisk.adm.crans.org
 241     User legallic
 242     ForwardAgent yes
 243
 244 Host backbone backbone.crans.org
 245     HostName backbone.crans.org
 246     User legallic
 247     ForwardAgent yes
 248
 249 Host backbone.adm backbone.adm.crans.org
 250     HostName backbone.adm.crans.org
 251     User legallic
 252     ForwardAgent yes
 253
 254 Host backbone.wifi backbone.wifi.crans.org
 255     HostName backbone.wifi.crans.org
 256     User legallic
 257     ForwardAgent yes
 258
 259 Host batk-0 batk-0.crans.org
 260     HostName batk-0.crans.org
 261     User legallic
 262
 263 Host canard.adm canard.adm.crans.org
 264     HostName canard.adm.crans.org
 265     User legallic
 266     ForwardAgent yes
 267
 268 Host canard.ferme canard canard.ferme.crans.org
 269     HostName canard.ferme.crans.org
 270     User legallic
 271     ForwardAgent yes
 272
 273 Host cas auth login cas.crans.org login.crans.org auth.crans.org
 274     HostName cas.crans.org
 275     User legallic
 276     ForwardAgent yes
 277
 278 Host cas.adm cas.adm.crans.org
 279     HostName cas.adm.crans.org
 280     User legallic
 281     ForwardAgent yes
 282
 283 Host charybde darcs ftp ftp.crans.ens-cachan.fr 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 darcs.crans.org
 284     HostName charybde.crans.org
 285     User legallic
 286     ForwardAgent yes
 287
 288 Host git git.crans.org
 289     HostName geet.crans.org
 290     User legallic
 291     ForwardAgent yes
 292
 293 Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
 294     HostName charybde.adm.crans.org
 295     User legallic
 296     ForwardAgent yes
 297
 298 Host civet.crans.org civet
 299     HostName civet.crans.org
 300     User legallic
 301     ForwardAgent yes
 302
 303 Host cochon.adm cochon.adm.crans.org
 304     HostName cochon.adm.crans.org
 305     User legallic
 306     ForwardAgent yes
 307
 308 Host cochon.ferme cochon cochon.ferme.crans.org
 309     HostName cochon.ferme.crans.org
 310     User legallic
 311     ForwardAgent yes
 312
 313 Host dhcp dhcp.crans.org
 314     HostName dhcp.crans.org
 315     User legallic
 316     ForwardAgent yes
 317
 318 Host dhcp-21 dhcp-21.crans.org
 319     HostName dhcp-21.crans.org
 320     User legallic
 321     ForwardAgent yes
 322
 323 Host dhcp.adm dhcp.adm.crans.org
 324     HostName dhcp.adm.crans.org
 325     User legallic
 326     ForwardAgent yes
 327
 328 Host dindon.adm dindon.adm.crans.org
 329     HostName dindon.adm.crans.org
 330     User legallic
 331     ForwardAgent yes
 332
 333 Host dindon.ferme dindon dindon.ferme.crans.org
 334     HostName dindon.ferme.crans.org
 335     User legallic
 336     ForwardAgent yes
 337
 338 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
 339     HostName dyson.crans.org
 340     User legallic
 341     ForwardAgent yes
 342
 343 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
 344     HostName dyson.adm.crans.org
 345     User legallic
 346     ForwardAgent yes
 347
 348 Host ethercalc ethercalc.crans.org
 349     HostName ethercalc.crans.org
 350     User legallic
 351     ForwardAgent yes
 352
 353 Host freebox freebox.crans.org
 354     HostName freebox.crans.org
 355     User legallic
 356     ForwardAgent yes
 357
 358 Host geet.crans.org git.crans.org geet git
 359     HostName geet.crans.org
 360     User legallic
 361     ForwardAgent yes
 362
 363 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
 364     HostName geet.adm.crans.org
 365     User legallic
 366     ForwardAgent yes
 367
 368 Host gordon gordon.crans.org
 369     HostName gordon.crans.org
 370     User legallic
 371     ForwardAgent yes
 372
 373 Host gordon.adm gordon.adm.crans.org
 374     HostName gordon.adm.crans.org
 375     User legallic
 376     ForwardAgent yes
 377
 378 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
 379     HostName gordon.wifi.crans.org
 380     User legallic
 381     ForwardAgent yes
 382
 383 Host horde horde.crans.org
 384     HostName horde.crans.org
 385     User legallic
 386     ForwardAgent yes
 387
 388 Host horde.adm horde.adm.crans.org
 389     HostName horde.adm.crans.org
 390     User legallic
 391     ForwardAgent yes
 392
 393 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
 394     HostName irc.crans.org
 395     User legallic
 396     ForwardAgent yes
 397
 398 Host irc.adm irc.adm.crans.org
 399     HostName irc.adm.crans.org
 400     User legallic
 401     ForwardAgent yes
 402
 403 Host isc isc.crans.org
 404     HostName isc.crans.org
 405     User legallic
 406     ForwardAgent yes
 407
 408 Host isc.adm isc.adm.crans.org
 409     HostName isc.adm.crans.org
 410     User legallic
 411     ForwardAgent yes
 412
 413 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
 414     HostName jouvence.crans.org
 415     User legallic
 416     ForwardAgent yes
 417
 418 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
 419     HostName jouvence.adm.crans.org
 420     User legallic
 421     ForwardAgent yes
 422
 423 Host kdell kdell.crans.org
 424     HostName kdell.crans.org
 425     User legallic
 426     ForwardAgent yes
 427
 428 Host kdell.adm kdell.adm.crans.org
 429     HostName kdell.adm.crans.org
 430     User legallic
 431     ForwardAgent yes
 432
 433 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
 434     HostName kenobi.crans.org
 435     User legallic
 436     ForwardAgent yes
 437
 438 Host kenobi.adm kenobi.adm.crans.org
 439     HostName kenobi.adm.crans.org
 440     User legallic
 441     ForwardAgent yes
 442
 443 Host komaz komaz.crans.org
 444     HostName komaz.crans.org
 445     User legallic
 446     ForwardAgent yes
 447
 448 Host komaz-21 komaz-21.crans.org
 449     HostName komaz-21.crans.org
 450     User legallic
 451     ForwardAgent yes
 452
 453 Host komaz.adm komaz.adm.crans.org
 454     HostName komaz.adm.crans.org
 455     User legallic
 456     ForwardAgent yes
 457
 458 Host komaz.wifi komaz.wifi.crans.org
 459     HostName komaz.wifi.crans.org
 460     User legallic
 461     ForwardAgent yes
 462
 463 Host lapin.adm lapin.adm.crans.org
 464     HostName lapin.adm.crans.org
 465     User legallic
 466     ForwardAgent yes
 467
 468 Host lapin.ferme lapin lapin.ferme.crans.org
 469     HostName lapin.ferme.crans.org
 470     User legallic
 471     ForwardAgent yes
 472
 473 Host malloc malloc.crans.org
 474     HostName malloc.crans.org
 475     User legallic
 476     ForwardAgent yes
 477
 478 Host malloc.adm malloc.adm.crans.org
 479     HostName malloc.adm.crans.org
 480     User legallic
 481     ForwardAgent yes
 482
 483 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
 484     HostName mdr.crans.org
 485     User legallic
 486     ForwardAgent yes
 487
 488 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
 489     HostName mdr.adm.crans.org
 490     User legallic
 491     ForwardAgent yes
 492
 493 Host nat64 nat64.crans.org
 494     HostName nat64.crans.org
 495     User legallic
 496     ForwardAgent yes
 497
 498 Host nat64.adm nat64.adm.crans.org
 499     HostName nat64.adm.crans.org
 500     User legallic
 501     ForwardAgent yes
 502
 503 Host nem nem.crans.org
 504     HostName nem.crans.org
 505     User legallic
 506     ForwardAgent yes
 507
 508 Host nem.adm nem.adm.crans.org
 509     HostName nem.adm.crans.org
 510     User legallic
 511     ForwardAgent yes
 512
 513 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
 514     HostName news.crans.org
 515     User legallic
 516     ForwardAgent yes
 517
 518 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
 519     HostName news.adm.crans.org
 520     User legallic
 521     ForwardAgent yes
 522
 523 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
 524     HostName niomniom.crans.org
 525     User legallic
 526     ForwardAgent yes
 527
 528 Host niomniom.adm niomniom.adm.crans.org
 529     HostName niomniom.adm.crans.org
 530     User legallic
 531     ForwardAgent yes
 532
 533 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
 534     HostName o2.crans.org
 535     User legallic
 536     ForwardAgent yes
 537
 538 Host o2.adm o2.adm.crans.org
 539     HostName o2.adm.crans.org
 540     User legallic
 541     ForwardAgent yes
 542
 543 Host oie.adm oie.adm.crans.org
 544     HostName oie.adm.crans.org
 545     User legallic
 546     ForwardAgent yes
 547
 548 Host oie.ferme oie oie.ferme.crans.org
 549     HostName oie.ferme.crans.org
 550     User legallic
 551     ForwardAgent yes
 552
 553 Host ovh msn ovh.crans.org msn.crans.org
 554     HostName ovh.crans.org
 555     User legallic
 556     ForwardAgent yes
 557
 558 Host ovh.adm ovh.adm.crans.org
 559     HostName ovh.adm.crans.org
 560     User legallic
 561     ForwardAgent yes
 562
 563 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
 564     HostName owl.crans.org
 565     User legallic
 566     ForwardAgent yes
 567
 568 Host owl.adm owl.adm.crans.org
 569     HostName owl.adm.crans.org
 570     User legallic
 571     ForwardAgent yes
 572
 573 Host pegase pegase.crans.org
 574     HostName pegase.crans.org
 575     User legallic
 576     ForwardAgent yes
 577
 578 Host puppet puppet.crans.org
 579     HostName puppet.crans.org
 580     User legallic
 581     ForwardAgent yes
 582
 583 Host puppet.adm puppet.adm.crans.org
 584     HostName puppet.adm.crans.org
 585     User legallic
 586     ForwardAgent yes
 587
 588 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
 589     HostName redisdead.crans.org
 590     User legallic
 591     ForwardAgent yes
 592
 593 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
 594     HostName redisdead.adm.crans.org
 595     User legallic
 596     ForwardAgent yes
 597
 598 Host roundcube roundcube.crans.org
 599     HostName roundcube.crans.org
 600     User legallic
 601     ForwardAgent yes
 602
 603 Host roundcube.adm roundcube.adm.crans.org
 604     HostName roundcube.adm.crans.org
 605     User legallic
 606     ForwardAgent yes
 607
 608 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
 609     HostName routeur.crans.org
 610     User legallic
 611     ForwardAgent yes
 612
 613 Host routeur-21 routeur-21.crans.org
 614     HostName routeur-21.crans.org
 615     User legallic
 616     ForwardAgent yes
 617
 618 Host routeur.adm routeur.adm.crans.org
 619     HostName routeur.adm.crans.org
 620     User legallic
 621     ForwardAgent yes
 622
 623 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
 624     HostName sable.crans.org
 625     User legallic
 626     ForwardAgent yes
 627
 628 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
 629     HostName sable.adm.crans.org
 630     User legallic
 631     ForwardAgent yes
 632
 633 Host schrodingred schrodingred.crans.org
 634     HostName schrodingred.crans.org
 635     User legallic
 636     ForwardAgent yes
 637
 638 Host schrodingred.adm schrodingred.adm.crans.org
 639     HostName schrodingred.adm.crans.org
 640     User legallic
 641     ForwardAgent yes
 642
 643 Host sogo sogo.crans.org
 644     HostName sogo.crans.org
 645     User legallic
 646     ForwardAgent yes
 647
 648 Host sogo.adm sogo.adm.crans.org
 649     HostName sogo.adm.crans.org
 650     User legallic
 651     ForwardAgent yes
 652
 653 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
 654     HostName soyoustart.crans.org
 655     User legallic
 656     ForwardAgent yes
 657
 658 Host ssh2 ssh2.crans.org
 659     # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
 660     # pour passer à travers les blocages de ports (443 = https)
 661     HostName 138.231.136.2
 662     Port 443
 663     User legallic
 664     ForwardAgent yes
 665
 666 Host template template.crans.org
 667     HostName template.crans.org
 668     User legallic
 669     ForwardAgent yes
 670
 671 Host template.adm template.adm.crans.org
 672     HostName template.adm.crans.org
 673     User legallic
 674     ForwardAgent yes
 675
 676 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
 677     HostName thot.crans.org
 678     User legallic
 679     ForwardAgent yes
 680
 681 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
 682     HostName thot.adm.crans.org
 683     User legallic
 684     ForwardAgent yes
 685
 686 Host titanic titanic.crans.org
 687     HostName titanic.crans.org
 688     User legallic
 689     ForwardAgent yes
 690
 691 Host titanic.adm titanic.adm.crans.org
 692     HostName titanic.adm.crans.org
 693     User legallic
 694     ForwardAgent yes
 695
 696 Host tracker todo tracker.crans.org todo.crans.org
 697     HostName tracker.crans.org
 698     User legallic
 699     ForwardAgent yes
 700
 701 Host tracker.adm tracker.adm.crans.org
 702     HostName tracker.adm.crans.org
 703     User legallic
 704     ForwardAgent yes
 705
 706 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
 707     HostName vo.crans.org
 708     User legallic
 709     ForwardAgent yes
 710
 711 Host vo.adm vo.adm.crans.org
 712     HostName vo.adm.crans.org
 713     User legallic
 714     ForwardAgent yes
 715
 716 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
 717     HostName xmpp.crans.org
 718     User legallic
 719     ForwardAgent yes
 720
 721 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
 722     HostName xmpp.adm.crans.org
 723     User legallic
 724     ForwardAgent yes
 725
 726 Host ytrap-llatsni ytrap-llatsni.crans.org
 727     HostName ytrap-llatsni.crans.org
 728     User legallic
 729     ForwardAgent yes
 730
 731 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
 732     HostName ytrap-llatsni.adm.crans.org
 733     User legallic
 734     ForwardAgent yes
 735
 736 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
 737     HostName zamok.crans.org
 738     User legallic
 739     ForwardAgent yes
 740
 741 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
 742     HostName zamok.adm.crans.org
 743     User legallic
 744     ForwardAgent yes
 745
 746 # Pas vraiment un serveur Cr@ns
 747 Host rezosup rezosup.crans.org
 748     HostName rezosup.crans.org
 749     User legallic
 750     ForwardAgent yes
 751
 752
 753 # +-------------------------+
 754 # | Serveurs Cr@ns adm-only |
 755 # +-------------------------+
 756 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
 757 # d'où la ProxyCommand
 758 # fy et fz ne sont accessibles qu'aux nounous
 759
 760 Host alice.adm alice alice alice.adm.crans.org
 761     HostName alice.adm.crans.org
 762     User legallic
 763     ForwardAgent yes
 764     ProxyCommand ssh sable.crans.org -W %h:%p
 765
 766 Host babar.adm babar babar babar.adm.crans.org
 767     HostName babar.adm.crans.org
 768     User legallic
 769     ForwardAgent yes
 770     ProxyCommand ssh sable.crans.org -W %h:%p
 771
 772 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
 773     HostName bcfg2.adm.crans.org
 774     User legallic
 775     ForwardAgent yes
 776     ProxyCommand ssh sable.crans.org -W %h:%p
 777
 778 Host daath.adm daath daath daath.adm.crans.org
 779     HostName daath.adm.crans.org
 780     User legallic
 781     ForwardAgent yes
 782     ProxyCommand ssh sable.crans.org -W %h:%p
 783
 784 Host eap.adm eap eap eap.adm.crans.org
 785     HostName eap.adm.crans.org
 786     User legallic
 787     ForwardAgent yes
 788     ProxyCommand ssh sable.crans.org -W %h:%p
 789
 790 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
 791     HostName ft-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 ft.adm ft ft ft.adm.crans.org
 798     HostName ft.crans.org
 799     User legallic
 800     ForwardAgent yes
 801
 802 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
 803     HostName fx-ilo.adm.crans.org
 804     User legallic
 805     ForwardAgent yes
 806     ProxyCommand ssh sable.crans.org -W %h:%p
 807     HostKeyAlgorithms ssh-rsa
 808
 809 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
 810     HostName fy-ilo.adm.crans.org
 811     User legallic
 812     ForwardAgent yes
 813     ProxyCommand ssh sable.crans.org -W %h:%p
 814     HostKeyAlgorithms ssh-rsa
 815
 816 Host fy.adm fy fy fy.adm.crans.org
 817     HostName fy.crans.org
 818     User legallic
 819     ForwardAgent yes
 820     ProxyCommand ssh sable.crans.org -W %h:%p
 821
 822 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
 823     HostName fz-ilo.adm.crans.org
 824     User legallic
 825     ForwardAgent yes
 826     ProxyCommand ssh sable.crans.org -W %h:%p
 827     HostKeyAlgorithms ssh-rsa
 828
 829 Host fz.adm fz fz fz.adm.crans.org
 830     HostName fz.crans.org
 831     User legallic
 832     ForwardAgent yes
 833     ProxyCommand ssh sable.crans.org -W %h:%p
 834
 835 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
 836     HostName kdell-idrac.adm.crans.org
 837     User legallic
 838     ForwardAgent yes
 839     ProxyCommand ssh sable.crans.org -W %h:%p
 840
 841 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
 842     HostName komaz-ilo.adm.crans.org
 843     User legallic
 844     ForwardAgent yes
 845     ProxyCommand ssh sable.crans.org -W %h:%p
 846     HostKeyAlgorithms ssh-rsa
 847
 848 Host pea.adm pea pea pea.adm.crans.org
 849     HostName pea.adm.crans.org
 850     User legallic
 851     ForwardAgent yes
 852     ProxyCommand ssh sable.crans.org -W %h:%p
 853
 854 Host radius.adm radius radius radius.adm.crans.org
 855     HostName radius.adm.crans.org
 856     User legallic
 857     ForwardAgent yes
 858     ProxyCommand ssh sable.crans.org -W %h:%p
 859
 860 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
 861     HostName sable-ilo.adm.crans.org
 862     User legallic
 863     ForwardAgent yes
 864     ProxyCommand ssh sable.crans.org -W %h:%p
 865     HostKeyAlgorithms ssh-rsa
 866
 867 Host slon.adm slon slon slon.adm.crans.org
 868     HostName slon.adm.crans.org
 869     User legallic
 870     ForwardAgent yes
 871     ProxyCommand ssh sable.crans.org -W %h:%p
 872
 873 Host test42.adm test42 test42 test42.adm.crans.org
 874     HostName test42.adm.crans.org
 875     User legallic
 876     ForwardAgent yes
 877     ProxyCommand ssh sable.crans.org -W %h:%p
 878
 879 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
 880     HostName vert.adm.crans.org
 881     User legallic
 882     ForwardAgent yes
 883     ProxyCommand ssh sable.crans.org -W %h:%p
 884
 885 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
 886     HostName zbee-idrac.adm.crans.org
 887     User legallic
 888     ForwardAgent yes
 889     ProxyCommand ssh sable.crans.org -W %h:%p
 890
 891 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
 892     HostName zbee.adm.crans.org
 893     User legallic
 894     ForwardAgent yes
 895     ProxyCommand ssh sable.crans.org -W %h:%p
 896
 897
 898 # +---------+
 899 # | FedeRez |
 900 # +---------+
 901 # Accessibles aux membres de l'équipe d'admin de FedeRez
 902
 903 # Actuellement down, mais on ne sait jamais
 904 Host nautilus nautilus.federez.net
 905     HostName nautilus.federez.net
 906     User legallic
 907     ForwardAgent yes
 908
 909 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 910     HostName baldrick.federez.net
 911     User legallic
 912     ForwardAgent yes
 913
 914 Host quigon quigon.federez.net
 915     HostName quigon.federez.net
 916     User legallic
 917     ForwardAgent yes
 918
 919 Host polygon polygon.federez.net
 920     HostName polygon.federez.net
 921     User legallic
 922     ForwardAgent yes
 923
 924 Host hexagon hexagon.federez.net
 925     HostName hexagon.federez.net
 926     User legallic
 927     ForwardAgent yes
 928
 929
 930 # +-------------------+
 931 # | Serveurs de l'ENS |
 932 # +-------------------+
 933 # Accessibles aux élèves de l'ENS
 934
 935 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
 936     HostName tselin.clietu.ens-cachan.fr
 937     User vlegalli
 938     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 939
 940 Host tselin2
 941     HostName tselin2.clietu.ens-cachan.fr
 942     User vlegalli
 943     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 944
 945 Host tahines.ens-cachan.fr tahines2 tahines
 946     HostName tahines.ens-cachan.fr
 947     User vlegalli
 948
 949
 950 # +-----+
 951 # | Ulm |
 952 # +-----+
 953 # Parce que je me suis inscrit à la DSI d'Ulm
 954
 955 Host clipper clipper.ens.fr
 956     HostName clipper.ens.fr
 957     User legallic
 958
 959 Host anat anat.ens.fr
 960     HostName anat.ens.fr
 961     User legallic
 962     ForwardAgent yes
 963
 964 Host horus horus.ens.fr
 965     HostName horus.ens.fr
 966     User legallic
 967     ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
 968
 969 Host neith neith.ens.fr
 970     HostName neith.ens.fr
 971     User legallic
 972     ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
 973
 974 Host sas sas.eleves.ens.fr
 975     HostName sas.eleves.ens.fr
 976     User legallic
 977
 978
 979 # +------------------+
 980 # | Département info |
 981 # +------------------+
 982 # Machines du département informatique de l'ENSC
 983
 984 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
 985     #HostName 138.231.36.60
 986     HostName ssh.dptinfo.ens-cachan.fr
 987     User vlegalli
 988     ForwardAgent yes
 989
 990 Host dptinfo*.dptinfo.ens-cachan.fr
 991     HostName %h
 992     User vlegalli
 993     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 994     ForwardAgent yes
 995
 996 Host info*
 997     HostName dpt%h.dptinfo.ens-cachan.fr
 998     User vlegalli
 999     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1000     ForwardAgent yes
1001
1002
1003 # +--------+
1004 # | Stages |
1005 # +--------+
1006 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1007     HostName mars.lbpa.ens-cachan.fr
1008     User vincent
1009     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1010
1011 # END (utile pour éviter les merge conflicts)
1012