.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 # Licence : WTFPL
   6
   7 # Les sections commentées par #~# sont des features qui ne sont pas activées
   8 # par défaut. Sentez-vous libre de les décommenter pour les utiliser.
   9
  10 # À noter que la plupart des serveurs présents dedans sont des serveurs
  11 # du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
  12 # Pensez à remplacer "loginCr@ns", "loginFedeRez" et "loginENS" par les login idoines
  13
  14 #------------------------------------------------------------------------------
  15
  16 # Les options qui ne sont pas identées sont activées pour toutes les connexions
  17 # Mêmes celles qui ne correspondent à aucun bloc plus bas
  18 # Activer la compression des données transmises lorsque c'est possible
  19 Compression yes
  20
  21 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
  22 #~# VisualHostKey yes
  23
  24 # Ne pas hasher les noms des machines auxquelles ont se connecte dans
  25 # le fichier known_hosts
  26 HashKnownHosts no
  27
  28 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
  29 # et de la fingerprint présentée par le serveur
  30 VerifyHostKeyDNS yes
  31
  32 #~# # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
  33 #~# # trop longtemps.
  34 #~# # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
  35 #~# # sur la connexion, pour la garder vivante.
  36 #~# ServerAliveInterval 60
  37 #~# # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
  38 #~# ServerAliveCountMax 3
  39
  40 # Les options suivantes apparaissent dans les blocs
  41 # Host = commence un bloc avec les noms qui utiliseront ce bloc
  42 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
  43 # User = nom d'utilisateur distant
  44 # Port = port de connexion (pour override le port 22)
  45 # ForwardAgent = forwarder l'agent ssh sur la machine
  46 #            (il vaut mieux qu'elle et ses administrateurs soient de confiance)
  47 # ProxyCommand = pour passer par un autre serveur intermédiaire
  48 #                (pour un serveur qui ne peut pas être contacté directement)
  49
  50 # +-----------------+
  51 # | Machines du BDE |
  52 # +-----------------+
  53
  54 Host kfet kfet.crans.org kfet1
  55     HostName kfet.crans.org
  56     User bde
  57
  58
  59 # +-------------------+
  60 # | Serveurs du Cr@ns |
  61 # +-------------------+
  62 # Accessible aux apprentis
  63 # sauf zamok et ssh2, accessibles à tous les adhérents
  64
  65 Host appartement appartement.crans.org
  66     HostName appartement.crans.org
  67     User loginCr@ns
  68     ForwardAgent yes
  69
  70 Host apprentis apprentis.crans.org
  71     HostName apprentis.crans.org
  72     User loginCr@ns
  73
  74 Host asterisk sip asterisk.crans.org sip.crans.org
  75     HostName asterisk.crans.org
  76     User loginCr@ns
  77     ForwardAgent yes
  78
  79 Host asterisk.adm asterisk.adm.crans.org
  80     HostName asterisk.adm.crans.org
  81     User loginCr@ns
  82     ForwardAgent yes
  83
  84 Host backbone backbone.crans.org
  85     HostName backbone.crans.org
  86     User loginCr@ns
  87     ForwardAgent yes
  88
  89 Host backbone.adm backbone.adm.crans.org
  90     HostName backbone.adm.crans.org
  91     User loginCr@ns
  92     ForwardAgent yes
  93
  94 Host backbone.wifi backbone.wifi.crans.org
  95     HostName backbone.wifi.crans.org
  96     User loginCr@ns
  97     ForwardAgent yes
  98
  99 Host batk-0 batk-0.crans.org
 100     HostName batk-0.crans.org
 101     User loginCr@ns
 102
 103 Host canard.adm canard.adm.crans.org
 104     HostName canard.adm.crans.org
 105     User loginCr@ns
 106     ForwardAgent yes
 107
 108 Host canard.ferme canard canard.ferme.crans.org
 109     HostName canard.ferme.crans.org
 110     User loginCr@ns
 111     ForwardAgent yes
 112
 113 Host cas auth login cas.crans.org login.crans.org auth.crans.org
 114     HostName cas.crans.org
 115     User loginCr@ns
 116     ForwardAgent yes
 117
 118 Host cas.adm cas.adm.crans.org
 119     HostName cas.adm.crans.org
 120     User loginCr@ns
 121     ForwardAgent yes
 122
 123 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
 124     HostName charybde.crans.org
 125     User loginCr@ns
 126     ForwardAgent yes
 127
 128 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
 129     HostName charybde.adm.crans.org
 130     User loginCr@ns
 131     ForwardAgent yes
 132
 133 Host civet.crans.org civet
 134     HostName civet.crans.org
 135     User loginCr@ns
 136     ForwardAgent yes
 137
 138 Host cochon.adm cochon.adm.crans.org
 139     HostName cochon.adm.crans.org
 140     User loginCr@ns
 141     ForwardAgent yes
 142
 143 Host cochon.ferme cochon cochon.ferme.crans.org
 144     HostName cochon.ferme.crans.org
 145     User loginCr@ns
 146     ForwardAgent yes
 147
 148 Host dhcp dhcp.crans.org
 149     HostName dhcp.crans.org
 150     User loginCr@ns
 151     ForwardAgent yes
 152
 153 Host dhcp-21 dhcp-21.crans.org
 154     HostName dhcp-21.crans.org
 155     User loginCr@ns
 156     ForwardAgent yes
 157
 158 Host dhcp.adm dhcp.adm.crans.org
 159     HostName dhcp.adm.crans.org
 160     User loginCr@ns
 161     ForwardAgent yes
 162
 163 Host dindon.adm dindon.adm.crans.org
 164     HostName dindon.adm.crans.org
 165     User loginCr@ns
 166     ForwardAgent yes
 167
 168 Host dindon.ferme dindon dindon.ferme.crans.org
 169     HostName dindon.ferme.crans.org
 170     User loginCr@ns
 171     ForwardAgent yes
 172
 173 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
 174     HostName dyson.crans.org
 175     User loginCr@ns
 176     ForwardAgent yes
 177
 178 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
 179     HostName dyson.adm.crans.org
 180     User loginCr@ns
 181     ForwardAgent yes
 182
 183 Host ethercalc ethercalc.crans.org
 184     HostName ethercalc.crans.org
 185     User loginCr@ns
 186     ForwardAgent yes
 187
 188 Host freebox freebox.crans.org
 189     HostName freebox.crans.org
 190     User loginCr@ns
 191     ForwardAgent yes
 192
 193 Host geet.crans.org git.crans.org geet git
 194     HostName geet.crans.org
 195     User loginCr@ns
 196     ForwardAgent yes
 197
 198 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
 199     HostName geet.adm.crans.org
 200     User loginCr@ns
 201     ForwardAgent yes
 202
 203 Host gordon gordon.crans.org
 204     HostName gordon.crans.org
 205     User loginCr@ns
 206     ForwardAgent yes
 207
 208 Host gordon.adm gordon.adm.crans.org
 209     HostName gordon.adm.crans.org
 210     User loginCr@ns
 211     ForwardAgent yes
 212
 213 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
 214     HostName gordon.wifi.crans.org
 215     User loginCr@ns
 216     ForwardAgent yes
 217
 218 Host horde horde.crans.org
 219     HostName horde.crans.org
 220     User loginCr@ns
 221     ForwardAgent yes
 222
 223 Host horde.adm horde.adm.crans.org
 224     HostName horde.adm.crans.org
 225     User loginCr@ns
 226     ForwardAgent yes
 227
 228 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
 229     HostName irc.crans.org
 230     User loginCr@ns
 231     ForwardAgent yes
 232
 233 Host irc.adm irc.adm.crans.org
 234     HostName irc.adm.crans.org
 235     User loginCr@ns
 236     ForwardAgent yes
 237
 238 Host isc isc.crans.org
 239     HostName isc.crans.org
 240     User loginCr@ns
 241     ForwardAgent yes
 242
 243 Host isc.adm isc.adm.crans.org
 244     HostName isc.adm.crans.org
 245     User loginCr@ns
 246     ForwardAgent yes
 247
 248 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
 249     HostName jouvence.crans.org
 250     User loginCr@ns
 251     ForwardAgent yes
 252
 253 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
 254     HostName jouvence.adm.crans.org
 255     User loginCr@ns
 256     ForwardAgent yes
 257
 258 Host kdell kdell.crans.org
 259     HostName kdell.crans.org
 260     User loginCr@ns
 261     ForwardAgent yes
 262
 263 Host kdell.adm kdell.adm.crans.org
 264     HostName kdell.adm.crans.org
 265     User loginCr@ns
 266     ForwardAgent yes
 267
 268 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
 269     HostName kenobi.crans.org
 270     User loginCr@ns
 271     ForwardAgent yes
 272
 273 Host kenobi.adm kenobi.adm.crans.org
 274     HostName kenobi.adm.crans.org
 275     User loginCr@ns
 276     ForwardAgent yes
 277
 278 Host komaz komaz.crans.org
 279     HostName komaz.crans.org
 280     User loginCr@ns
 281     ForwardAgent yes
 282
 283 Host komaz-21 komaz-21.crans.org
 284     HostName komaz-21.crans.org
 285     User loginCr@ns
 286     ForwardAgent yes
 287
 288 Host komaz.adm komaz.adm.crans.org
 289     HostName komaz.adm.crans.org
 290     User loginCr@ns
 291     ForwardAgent yes
 292
 293 Host komaz.wifi komaz.wifi.crans.org
 294     HostName komaz.wifi.crans.org
 295     User loginCr@ns
 296     ForwardAgent yes
 297
 298 Host lapin.adm lapin.adm.crans.org
 299     HostName lapin.adm.crans.org
 300     User loginCr@ns
 301     ForwardAgent yes
 302
 303 Host lapin.ferme lapin lapin.ferme.crans.org
 304     HostName lapin.ferme.crans.org
 305     User loginCr@ns
 306     ForwardAgent yes
 307
 308 Host malloc malloc.crans.org
 309     HostName malloc.crans.org
 310     User loginCr@ns
 311     ForwardAgent yes
 312
 313 Host malloc.adm malloc.adm.crans.org
 314     HostName malloc.adm.crans.org
 315     User loginCr@ns
 316     ForwardAgent yes
 317
 318 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
 319     HostName mdr.crans.org
 320     User loginCr@ns
 321     ForwardAgent yes
 322
 323 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
 324     HostName mdr.adm.crans.org
 325     User loginCr@ns
 326     ForwardAgent yes
 327
 328 Host nat64 nat64.crans.org
 329     HostName nat64.crans.org
 330     User loginCr@ns
 331     ForwardAgent yes
 332
 333 Host nat64.adm nat64.adm.crans.org
 334     HostName nat64.adm.crans.org
 335     User loginCr@ns
 336     ForwardAgent yes
 337
 338 Host nem nem.crans.org
 339     HostName nem.crans.org
 340     User loginCr@ns
 341     ForwardAgent yes
 342
 343 Host nem.adm nem.adm.crans.org
 344     HostName nem.adm.crans.org
 345     User loginCr@ns
 346     ForwardAgent yes
 347
 348 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
 349     HostName news.crans.org
 350     User loginCr@ns
 351     ForwardAgent yes
 352
 353 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
 354     HostName news.adm.crans.org
 355     User loginCr@ns
 356     ForwardAgent yes
 357
 358 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
 359     HostName niomniom.crans.org
 360     User loginCr@ns
 361     ForwardAgent yes
 362
 363 Host niomniom.adm niomniom.adm.crans.org
 364     HostName niomniom.adm.crans.org
 365     User loginCr@ns
 366     ForwardAgent yes
 367
 368 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
 369     HostName o2.crans.org
 370     User loginCr@ns
 371     ForwardAgent yes
 372
 373 Host o2.adm o2.adm.crans.org
 374     HostName o2.adm.crans.org
 375     User loginCr@ns
 376     ForwardAgent yes
 377
 378 Host oie.adm oie.adm.crans.org
 379     HostName oie.adm.crans.org
 380     User loginCr@ns
 381     ForwardAgent yes
 382
 383 Host oie.ferme oie oie.ferme.crans.org
 384     HostName oie.ferme.crans.org
 385     User loginCr@ns
 386     ForwardAgent yes
 387
 388 Host ovh msn ovh.crans.org msn.crans.org
 389     HostName ovh.crans.org
 390     User loginCr@ns
 391     ForwardAgent yes
 392
 393 Host ovh.adm ovh.adm.crans.org
 394     HostName ovh.adm.crans.org
 395     User loginCr@ns
 396     ForwardAgent yes
 397
 398 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
 399     HostName owl.crans.org
 400     User loginCr@ns
 401     ForwardAgent yes
 402
 403 Host owl.adm owl.adm.crans.org
 404     HostName owl.adm.crans.org
 405     User loginCr@ns
 406     ForwardAgent yes
 407
 408 Host pegase pegase.crans.org
 409     HostName pegase.crans.org
 410     User loginCr@ns
 411     ForwardAgent yes
 412
 413 Host puppet puppet.crans.org
 414     HostName puppet.crans.org
 415     User loginCr@ns
 416     ForwardAgent yes
 417
 418 Host puppet.adm puppet.adm.crans.org
 419     HostName puppet.adm.crans.org
 420     User loginCr@ns
 421     ForwardAgent yes
 422
 423 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
 424     HostName redisdead.crans.org
 425     User loginCr@ns
 426     ForwardAgent yes
 427
 428 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
 429     HostName redisdead.adm.crans.org
 430     User loginCr@ns
 431     ForwardAgent yes
 432
 433 Host roundcube roundcube.crans.org
 434     HostName roundcube.crans.org
 435     User loginCr@ns
 436     ForwardAgent yes
 437
 438 Host roundcube.adm roundcube.adm.crans.org
 439     HostName roundcube.adm.crans.org
 440     User loginCr@ns
 441     ForwardAgent yes
 442
 443 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
 444     HostName routeur.crans.org
 445     User loginCr@ns
 446     ForwardAgent yes
 447
 448 Host routeur-21 routeur-21.crans.org
 449     HostName routeur-21.crans.org
 450     User loginCr@ns
 451     ForwardAgent yes
 452
 453 Host routeur.adm routeur.adm.crans.org
 454     HostName routeur.adm.crans.org
 455     User loginCr@ns
 456     ForwardAgent yes
 457
 458 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
 459     HostName sable.crans.org
 460     User loginCr@ns
 461     ForwardAgent yes
 462
 463 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
 464     HostName sable.adm.crans.org
 465     User loginCr@ns
 466     ForwardAgent yes
 467
 468 Host schrodingred schrodingred.crans.org
 469     HostName schrodingred.crans.org
 470     User loginCr@ns
 471     ForwardAgent yes
 472
 473 Host schrodingred.adm schrodingred.adm.crans.org
 474     HostName schrodingred.adm.crans.org
 475     User loginCr@ns
 476     ForwardAgent yes
 477
 478 Host sogo sogo.crans.org
 479     HostName sogo.crans.org
 480     User loginCr@ns
 481     ForwardAgent yes
 482
 483 Host sogo.adm sogo.adm.crans.org
 484     HostName sogo.adm.crans.org
 485     User loginCr@ns
 486     ForwardAgent yes
 487
 488 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
 489     HostName soyoustart.crans.org
 490     HostName loginCr@ns
 491     ForwardAgent yes
 492
 493 Host ssh2 ssh2.crans.org
 494     # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
 495     # pour passer à travers les blocages de ports (443 = https)
 496     HostName 138.231.136.2
 497     Port 443
 498     User loginCr@ns
 499     ForwardAgent yes
 500
 501 Host template template.crans.org
 502     HostName template.crans.org
 503     User loginCr@ns
 504     ForwardAgent yes
 505
 506 Host template.adm template.adm.crans.org
 507     HostName template.adm.crans.org
 508     User loginCr@ns
 509     ForwardAgent yes
 510
 511 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
 512     HostName thot.crans.org
 513     User loginCr@ns
 514     ForwardAgent yes
 515
 516 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
 517     HostName thot.adm.crans.org
 518     User loginCr@ns
 519     ForwardAgent yes
 520
 521 Host titanic titanic.crans.org
 522     HostName titanic.crans.org
 523     User loginCr@ns
 524     ForwardAgent yes
 525
 526 Host titanic.adm titanic.adm.crans.org
 527     HostName titanic.adm.crans.org
 528     User loginCr@ns
 529     ForwardAgent yes
 530
 531 Host tracker todo tracker.crans.org todo.crans.org
 532     HostName tracker.crans.org
 533     User loginCr@ns
 534     ForwardAgent yes
 535
 536 Host tracker.adm tracker.adm.crans.org
 537     HostName tracker.adm.crans.org
 538     User loginCr@ns
 539     ForwardAgent yes
 540
 541 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
 542     HostName vo.crans.org
 543     User loginCr@ns
 544     ForwardAgent yes
 545
 546 Host vo.adm vo.adm.crans.org
 547     HostName vo.adm.crans.org
 548     User loginCr@ns
 549     ForwardAgent yes
 550
 551 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
 552     HostName xmpp.crans.org
 553     User loginCr@ns
 554     ForwardAgent yes
 555
 556 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
 557     HostName xmpp.adm.crans.org
 558     User loginCr@ns
 559     ForwardAgent yes
 560
 561 Host ytrap-llatsni ytrap-llatsni.crans.org
 562     HostName ytrap-llatsni.crans.org
 563     User loginCr@ns
 564     ForwardAgent yes
 565
 566 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
 567     HostName ytrap-llatsni.adm.crans.org
 568     User loginCr@ns
 569     ForwardAgent yes
 570
 571 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
 572     HostName zamok.crans.org
 573     User loginCr@ns
 574     ForwardAgent yes
 575
 576 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
 577     HostName zamok.adm.crans.org
 578     User loginCr@ns
 579     ForwardAgent yes
 580
 581
 582 # +-------------------------+
 583 # | Serveurs Cr@ns adm-only |
 584 # +-------------------------+
 585 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
 586 # d'où la ProxyCommand
 587 # fy et fz ne sont accessibles qu'aux nounous
 588
 589 Host alice.adm alice alice alice.adm.crans.org
 590     HostName alice.adm.crans.org
 591     User loginCr@ns
 592     ForwardAgent yes
 593     ProxyCommand ssh sable.crans.org -W %h:%p
 594
 595 Host babar.adm babar babar babar.adm.crans.org
 596     HostName babar.adm.crans.org
 597     User loginCr@ns
 598     ForwardAgent yes
 599     ProxyCommand ssh sable.crans.org -W %h:%p
 600
 601 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
 602     HostName bcfg2.adm.crans.org
 603     User loginCr@ns
 604     ForwardAgent yes
 605     ProxyCommand ssh sable.crans.org -W %h:%p
 606
 607 Host daath.adm daath daath daath.adm.crans.org
 608     HostName daath.adm.crans.org
 609     User loginCr@ns
 610     ForwardAgent yes
 611     ProxyCommand ssh sable.crans.org -W %h:%p
 612
 613 Host eap.adm eap eap eap.adm.crans.org
 614     HostName eap.adm.crans.org
 615     User loginCr@ns
 616     ForwardAgent yes
 617     ProxyCommand ssh sable.crans.org -W %h:%p
 618
 619 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
 620     HostName ft-ilo.adm.crans.org
 621     User loginCr@ns
 622     ForwardAgent yes
 623     ProxyCommand ssh sable.crans.org -W %h:%p
 624     HostKeyAlgorithms ssh-rsa
 625
 626 Host ft.adm ft ft ft.adm.crans.org
 627     HostName ft.crans.org
 628     User loginCr@ns
 629     ForwardAgent yes
 630
 631 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
 632     HostName fx-ilo.adm.crans.org
 633     User loginCr@ns
 634     ForwardAgent yes
 635     ProxyCommand ssh sable.crans.org -W %h:%p
 636     HostKeyAlgorithms ssh-rsa
 637
 638 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
 639     HostName fy-ilo.adm.crans.org
 640     User loginCr@ns
 641     ForwardAgent yes
 642     ProxyCommand ssh sable.crans.org -W %h:%p
 643     HostKeyAlgorithms ssh-rsa
 644
 645 Host fy.adm fy fy fy.adm.crans.org
 646     HostName fy.crans.org
 647     User loginCr@ns
 648     ForwardAgent yes
 649
 650 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
 651     HostName fz-ilo.adm.crans.org
 652     User loginCr@ns
 653     ForwardAgent yes
 654     ProxyCommand ssh sable.crans.org -W %h:%p
 655     HostKeyAlgorithms ssh-rsa
 656
 657 Host fz.adm fz fz fz.adm.crans.org
 658     HostName fz.crans.org
 659     User loginCr@ns
 660     ForwardAgent yes
 661
 662 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
 663     HostName kdell-idrac.adm.crans.org
 664     User loginCr@ns
 665     ForwardAgent yes
 666     ProxyCommand ssh sable.crans.org -W %h:%p
 667
 668 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
 669     HostName komaz-ilo.adm.crans.org
 670     User loginCr@ns
 671     ForwardAgent yes
 672     ProxyCommand ssh sable.crans.org -W %h:%p
 673     HostKeyAlgorithms ssh-rsa
 674
 675 Host pea.adm pea pea pea.adm.crans.org
 676     HostName pea.adm.crans.org
 677     User loginCr@ns
 678     ForwardAgent yes
 679     ProxyCommand ssh sable.crans.org -W %h:%p
 680
 681 Host radius.adm radius radius radius.adm.crans.org
 682     HostName radius.adm.crans.org
 683     User loginCr@ns
 684     ForwardAgent yes
 685     ProxyCommand ssh sable.crans.org -W %h:%p
 686
 687 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
 688     HostName sable-ilo.adm.crans.org
 689     User loginCr@ns
 690     ForwardAgent yes
 691     ProxyCommand ssh sable.crans.org -W %h:%p
 692     HostKeyAlgorithms ssh-rsa
 693
 694 Host slon.adm slon slon slon.adm.crans.org
 695     HostName slon.adm.crans.org
 696     User loginCr@ns
 697     ForwardAgent yes
 698     ProxyCommand ssh sable.crans.org -W %h:%p
 699
 700 Host test42.adm test42 test42 test42.adm.crans.org
 701     HostName test42.adm.crans.org
 702     User loginCr@ns
 703     ForwardAgent yes
 704     ProxyCommand ssh sable.crans.org -W %h:%p
 705
 706 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
 707     HostName vert.adm.crans.org
 708     User loginCr@ns
 709     ForwardAgent yes
 710     ProxyCommand ssh sable.crans.org -W %h:%p
 711
 712 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
 713     HostName zbee-idrac.adm.crans.org
 714     User loginCr@ns
 715     ForwardAgent yes
 716     ProxyCommand ssh sable.crans.org -W %h:%p
 717
 718 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
 719     HostName zbee.adm.crans.org
 720     User loginCr@ns
 721     ForwardAgent yes
 722     ProxyCommand ssh sable.crans.org -W %h:%p
 723
 724
 725 #~# # +---------+
 726 #~# # | FedeRez |
 727 #~# # +---------+
 728 #~# # Accessibles aux membres de l'équipe d'admin de FedeRez
 729 #~#
 730 #~# # Actuellement down, mais on ne sait jamais
 731 #~# Host nautilus nautilus.federez.net
 732 #~#     HostName nautilus.federez.net
 733 #~#     User loginFedeRez
 734 #~#     ForwardAgent yes
 735 #~#
 736 #~# Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 737 #~#     HostName baldrick.federez.net
 738 #~#     User loginFedeRez
 739 #~#     ForwardAgent yes
 740 #~#
 741 #~# Host quigon quigon.federez.net
 742 #~#     HostName quigon.federez.net
 743 #~#     User loginFedeRez
 744 #~#     ForwardAgent yes
 745 #~#
 746 #~# Host polygon polygon.federez.net
 747 #~#     HostName polygon.federez.net
 748 #~#     User loginFedeRez
 749 #~#     ForwardAgent yes
 750 #~#
 751 #~# Host hexagon hexagon.federez.net
 752 #~#     HostName hexagon.federez.net
 753 #~#     User loginFedeRez
 754 #~#     ForwardAgent yes
 755
 756
 757 # +-------------------+
 758 # | Serveurs de l'ENS |
 759 # +-------------------+
 760 # Accessibles aux élèves de l'ENS
 761
 762 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
 763     HostName tselin.clietu.ens-cachan.fr
 764     User loginENS
 765     ProxyCommand ssh loginENS@tahines.ens-cachan.fr -W %h:%p
 766
 767 Host tahines.ens-cachan.fr tahines2 tahines
 768     HostName tahines.ens-cachan.fr
 769     User loginENS
 770
 771
 772 #~# # +------------------+
 773 #~# # | Département info |
 774 #~# # +------------------+
 775 #~# # Machines du département informatique de l'ENSC
 776 #~# # Accesibles aux A0
 777 #~#
 778 #~# Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
 779 #~#     #HostName 138.231.36.60
 780 #~#     HostName ssh.dptinfo.ens-cachan.fr
 781 #~#     User loginENS
 782 #~#     ForwardAgent yes
 783 #~#
 784 #~# Host dptinfo*.dptinfo.ens-cachan.fr
 785 #~#     HostName %h
 786 #~#     User loginENS
 787 #~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 788 #~#     ForwardAgent yes
 789 #~#
 790 #~# Host info*
 791 #~#     HostName dpt%h.dptinfo.ens-cachan.fr
 792 #~#     User loginENS
 793 #~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 794 #~#     ForwardAgent yes
 795
 796
 797 # END (utile pour éviter les merge conflicts)
 798