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