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