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