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