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