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