.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 ssh2 ssh2.crans.org
 639     # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
 640     # pour passer à travers les blocages de ports (443 = https)
 641     HostName 138.231.136.2
 642     Port 443
 643     User legallic
 644     ForwardAgent yes
 645
 646 Host template template.crans.org
 647     HostName template.crans.org
 648     User legallic
 649     ForwardAgent yes
 650
 651 Host template.adm template.adm.crans.org
 652     HostName template.adm.crans.org
 653     User legallic
 654     ForwardAgent yes
 655
 656 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
 657     HostName thot.crans.org
 658     User legallic
 659     ForwardAgent yes
 660
 661 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
 662     HostName thot.adm.crans.org
 663     User legallic
 664     ForwardAgent yes
 665
 666 Host titanic titanic.crans.org
 667     HostName titanic.crans.org
 668     User legallic
 669     ForwardAgent yes
 670
 671 Host titanic.adm titanic.adm.crans.org
 672     HostName titanic.adm.crans.org
 673     User legallic
 674     ForwardAgent yes
 675
 676 Host tracker todo tracker.crans.org todo.crans.org
 677     HostName tracker.crans.org
 678     User legallic
 679     ForwardAgent yes
 680
 681 Host tracker.adm tracker.adm.crans.org
 682     HostName tracker.adm.crans.org
 683     User legallic
 684     ForwardAgent yes
 685
 686 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
 687     HostName vo.crans.org
 688     User legallic
 689     ForwardAgent yes
 690
 691 Host vo.adm vo.adm.crans.org
 692     HostName vo.adm.crans.org
 693     User legallic
 694     ForwardAgent yes
 695
 696 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
 697     HostName xmpp.crans.org
 698     User legallic
 699     ForwardAgent yes
 700
 701 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
 702     HostName xmpp.adm.crans.org
 703     User legallic
 704     ForwardAgent yes
 705
 706 Host ytrap-llatsni ytrap-llatsni.crans.org
 707     HostName ytrap-llatsni.crans.org
 708     User legallic
 709     ForwardAgent yes
 710
 711 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
 712     HostName ytrap-llatsni.adm.crans.org
 713     User legallic
 714     ForwardAgent yes
 715
 716 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
 717     HostName zamok.crans.org
 718     User legallic
 719     ForwardAgent yes
 720
 721 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
 722     HostName zamok.adm.crans.org
 723     User legallic
 724     ForwardAgent yes
 725
 726 # Pas vraiment un serveur Cr@ns
 727 Host rezosup rezosup.crans.org
 728     HostName rezosup.crans.org
 729     User legallic
 730     ForwardAgent yes
 731
 732
 733 # +-------------------------+
 734 # | Serveurs Cr@ns adm-only |
 735 # +-------------------------+
 736 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
 737 # d'où la ProxyCommand
 738 # fy et fz ne sont accessibles qu'aux nounous
 739
 740 Host alice.adm alice alice alice.adm.crans.org
 741     HostName alice.adm.crans.org
 742     User legallic
 743     ForwardAgent yes
 744     ProxyCommand ssh sable.crans.org -W %h:%p
 745
 746 Host babar.adm babar babar babar.adm.crans.org
 747     HostName babar.adm.crans.org
 748     User legallic
 749     ForwardAgent yes
 750     ProxyCommand ssh sable.crans.org -W %h:%p
 751
 752 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
 753     HostName bcfg2.adm.crans.org
 754     User legallic
 755     ForwardAgent yes
 756     ProxyCommand ssh sable.crans.org -W %h:%p
 757
 758 Host daath.adm daath daath daath.adm.crans.org
 759     HostName daath.adm.crans.org
 760     User legallic
 761     ForwardAgent yes
 762     ProxyCommand ssh sable.crans.org -W %h:%p
 763
 764 Host eap.adm eap eap eap.adm.crans.org
 765     HostName eap.adm.crans.org
 766     User legallic
 767     ForwardAgent yes
 768     ProxyCommand ssh sable.crans.org -W %h:%p
 769
 770 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
 771     HostName ft-ilo.adm.crans.org
 772     User legallic
 773     ForwardAgent yes
 774     ProxyCommand ssh sable.crans.org -W %h:%p
 775     HostKeyAlgorithms ssh-rsa
 776
 777 Host ft.adm ft ft ft.adm.crans.org
 778     HostName ft.crans.org
 779     User legallic
 780     ForwardAgent yes
 781
 782 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
 783     HostName fx-ilo.adm.crans.org
 784     User legallic
 785     ForwardAgent yes
 786     ProxyCommand ssh sable.crans.org -W %h:%p
 787     HostKeyAlgorithms ssh-rsa
 788
 789 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
 790     HostName fy-ilo.adm.crans.org
 791     User legallic
 792     ForwardAgent yes
 793     ProxyCommand ssh sable.crans.org -W %h:%p
 794     HostKeyAlgorithms ssh-rsa
 795
 796 Host fy.adm fy fy fy.adm.crans.org
 797     HostName fy.crans.org
 798     User legallic
 799     ForwardAgent yes
 800     ProxyCommand ssh sable.crans.org -W %h:%p
 801
 802 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
 803     HostName fz-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 fz.adm fz fz fz.adm.crans.org
 810     HostName fz.crans.org
 811     User legallic
 812     ForwardAgent yes
 813     ProxyCommand ssh sable.crans.org -W %h:%p
 814
 815 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
 816     HostName kdell-idrac.adm.crans.org
 817     User legallic
 818     ForwardAgent yes
 819     ProxyCommand ssh sable.crans.org -W %h:%p
 820
 821 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
 822     HostName komaz-ilo.adm.crans.org
 823     User legallic
 824     ForwardAgent yes
 825     ProxyCommand ssh sable.crans.org -W %h:%p
 826     HostKeyAlgorithms ssh-rsa
 827
 828 Host pea.adm pea pea pea.adm.crans.org
 829     HostName pea.adm.crans.org
 830     User legallic
 831     ForwardAgent yes
 832     ProxyCommand ssh sable.crans.org -W %h:%p
 833
 834 Host radius.adm radius radius radius.adm.crans.org
 835     HostName radius.adm.crans.org
 836     User legallic
 837     ForwardAgent yes
 838     ProxyCommand ssh sable.crans.org -W %h:%p
 839
 840 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
 841     HostName sable-ilo.adm.crans.org
 842     User legallic
 843     ForwardAgent yes
 844     ProxyCommand ssh sable.crans.org -W %h:%p
 845     HostKeyAlgorithms ssh-rsa
 846
 847 Host slon.adm slon slon slon.adm.crans.org
 848     HostName slon.adm.crans.org
 849     User legallic
 850     ForwardAgent yes
 851     ProxyCommand ssh sable.crans.org -W %h:%p
 852
 853 Host test42.adm test42 test42 test42.adm.crans.org
 854     HostName test42.adm.crans.org
 855     User legallic
 856     ForwardAgent yes
 857     ProxyCommand ssh sable.crans.org -W %h:%p
 858
 859 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
 860     HostName vert.adm.crans.org
 861     User legallic
 862     ForwardAgent yes
 863     ProxyCommand ssh sable.crans.org -W %h:%p
 864
 865 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
 866     HostName zbee-idrac.adm.crans.org
 867     User legallic
 868     ForwardAgent yes
 869     ProxyCommand ssh sable.crans.org -W %h:%p
 870
 871 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
 872     HostName zbee.adm.crans.org
 873     User legallic
 874     ForwardAgent yes
 875     ProxyCommand ssh sable.crans.org -W %h:%p
 876
 877
 878 # +---------+
 879 # | FedeRez |
 880 # +---------+
 881 # Accessibles aux membres de l'équipe d'admin de FedeRez
 882
 883 # Actuellement down, mais on ne sait jamais
 884 Host nautilus nautilus.federez.net
 885     HostName nautilus.federez.net
 886     User legallic
 887     ForwardAgent yes
 888
 889 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 890     HostName baldrick.federez.net
 891     User legallic
 892     ForwardAgent yes
 893
 894 Host quigon quigon.federez.net
 895     HostName quigon.federez.net
 896     User legallic
 897     ForwardAgent yes
 898
 899 Host polygon polygon.federez.net
 900     HostName polygon.federez.net
 901     User legallic
 902     ForwardAgent yes
 903
 904 Host hexagon hexagon.federez.net
 905     HostName hexagon.federez.net
 906     User legallic
 907     ForwardAgent yes
 908
 909
 910 # +-------------------+
 911 # | Serveurs de l'ENS |
 912 # +-------------------+
 913 # Accessibles aux élèves de l'ENS
 914
 915 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
 916     HostName tselin.clietu.ens-cachan.fr
 917     User vlegalli
 918     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 919
 920 Host tselin2
 921     HostName tselin2.clietu.ens-cachan.fr
 922     User vlegalli
 923     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 924
 925 Host tahines.ens-cachan.fr tahines2 tahines
 926     HostName tahines.ens-cachan.fr
 927     User vlegalli
 928
 929
 930 # +-----+
 931 # | Ulm |
 932 # +-----+
 933 # Parce que je me suis inscrit à la DSI d'Ulm
 934
 935 Host clipper clipper.ens.fr
 936     HostName clipper.ens.fr
 937     User legallic
 938
 939 Host anat anat.ens.fr
 940     HostName anat.ens.fr
 941     User legallic
 942     ForwardAgent yes
 943
 944 Host horus horus.ens.fr
 945     HostName horus.ens.fr
 946     User legallic
 947     ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
 948
 949 Host neith neith.ens.fr
 950     HostName neith.ens.fr
 951     User legallic
 952     ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
 953
 954 Host sas sas.eleves.ens.fr
 955     HostName sas.eleves.ens.fr
 956     User legallic
 957
 958
 959 # +------------------+
 960 # | Département info |
 961 # +------------------+
 962 # Machines du département informatique de l'ENSC
 963
 964 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
 965     #HostName 138.231.36.60
 966     HostName ssh.dptinfo.ens-cachan.fr
 967     User vlegalli
 968     ForwardAgent yes
 969
 970 Host dptinfo*.dptinfo.ens-cachan.fr
 971     HostName %h
 972     User vlegalli
 973     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 974     ForwardAgent yes
 975
 976 Host info*
 977     HostName dpt%h.dptinfo.ens-cachan.fr
 978     User vlegalli
 979     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 980     ForwardAgent yes
 981
 982
 983 # +--------+
 984 # | Stages |
 985 # +--------+
 986 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
 987     HostName mars.lbpa.ens-cachan.fr
 988     User vincent
 989     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 990
 991 # END (utile pour éviter les merge conflicts)
 992