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