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