]> gitweb.pimeys.fr Git - config-20-100.git/blob - .ssh/config
Merge branch 'master' into perso
[config-20-100.git] / .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 # +--------------+
45 # | Mes machines |
46 # +--------------+
47
48 Host cerebro.crans.org cerebro
49 HostName cerebro.crans.org
50 User vincent
51 ForwardAgent yes
52
53 Host eva.crans.org eva eeepc
54 HostName eva.crans.org
55 User vincent
56 ForwardX11 yes
57 ForwardAgent yes
58
59 Host cabal.crans.org cabal
60 HostName cabal.crans.org
61 User vincent
62 ForwardX11 yes
63 ForwardAgent yes
64
65 Host viki viki.wifi viki.wifi.crans.org
66 HostName viki.wifi.crans.org
67 User root
68 Port 2222
69
70 # Les bots sur cerebro
71 Host basile
72 HostName cerebro.crans.org
73 User basile
74 ForwardAgent yes
75 Host note-cerebro
76 HostName cerebro.crans.org
77 User note
78 ForwardAgent yes
79 Host deconnaisseur
80 HostName cerebro.crans.org
81 User deconnaisseur
82 ForwardAgent yes
83 Host pendu Hung hung
84 HostName cerebro.crans.org
85 User hung
86 ForwardAgent yes
87 Host historien
88 HostName cerebro.crans.org
89 User historien
90 ForwardAgent yes
91 Host salesman Salesman
92 HostName cerebro.crans.org
93 User salesman
94 ForwardAgent yes
95 Host themis Themis
96 HostName cerebro.crans.org
97 User themis
98 ForwardAgent yes
99 Host saturnin Saturnin
100 HostName cerebro.crans.org
101 User saturnin
102 ForwardAgent yes
103 Host ibot iBot
104 HostName cerebro.crans.org
105 User ibot
106 ForwardAgent yes
107
108
109 # +--------+
110 # | Pimeys |
111 # +--------+
112 # Serveur dédié ovh
113 # pimeys.fr = 176.31.106.206
114
115 Host pimeys pimeys.fr
116 HostName pimeys.fr
117 User vincent
118 ForwardAgent yes
119
120 # Nouveau dédié
121 # becue.eu = 62.210.178.115
122 Host becue becue.eu
123 HostName becue.eu
124 User vincent
125 ForwardAgent yes
126
127
128 # +-----------------+
129 # | Machines du BDE |
130 # +-----------------+
131 # Parce que j'étais respo-info Makiavé[list]
132
133 Host kfet kfet.crans.org kfet1
134 HostName kfet.crans.org
135 User bde
136
137 Host kfet2 kfet2.crans.org
138 HostName kfet2.crans.org
139 User vincent
140
141 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
142 HostName note.crans.org
143 User vincent
144 ForwardAgent yes
145
146 Host bde2 bde2.crans.org note2
147 HostName bde2.crans.org
148 User vincent
149 ForwardAgent yes
150
151 Host bde3 bde3.crans.org
152 HostName bde3.crans.org
153 User vincent
154 ForwardAgent yes
155
156 Host video videobde videobde.crans.org
157 HostName videobde.crans.org
158 User vincent
159 ForwardAgent yes
160
161 Host bureau bureau-bde bureau-bde.crans.org
162 HostName bureau-bde.crans.org
163 User bde
164
165
166 # +----+
167 # | PE |
168 # +----+
169 # Parce que j'y suis le bienvenu
170
171 Host linkki linkki.crans.org
172 HostName linkki.crans.org
173 User sword
174
175 Host ilma ilma.wifi ilma.wifi.crans.org
176 HostName ilma.wifi.crans.org
177 User sword
178
179 Host ruoska ruoska.crans.org
180 HostName ruoska.crans.org
181 User vincent
182
183
184 # +-----+
185 # | Nit |
186 # +-----+
187 # Parce que j'y suis le bienvenu
188
189 # Le ftp de Nit, gère A♡-TV.
190 Host power power.crans.org nit-git nit-git.crans.org
191 HostName power.crans.org
192 User vincent
193
194 # Réplicat du wikoeur
195 Host genua acoeur.genua.fr
196 HostName acoeur.genua.fr
197 User root
198 AddressFamily inet6
199
200 # +----+
201 # | A♡ |
202 # +----+
203 # Parce que le département A♡ a une raspberry PI !
204
205 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
206 HostName rasputin.crans.org
207 User vincent
208
209
210 # +-------------------+
211 # | Serveurs du Cr@ns |
212 # +-------------------+
213 # Accessible aux apprentis
214 # sauf zamok et ssh2, accessibles à tous les adhérents
215
216 Host appartement appartement.crans.org
217 HostName appartement.crans.org
218 User legallic
219 ForwardAgent yes
220
221 Host apprentis apprentis.crans.org
222 HostName apprentis.crans.org
223 User legallic
224
225 Host asterisk sip asterisk.crans.org sip.crans.org
226 HostName asterisk.crans.org
227 User legallic
228 ForwardAgent yes
229
230 Host asterisk.adm asterisk.adm.crans.org
231 HostName asterisk.adm.crans.org
232 User legallic
233 ForwardAgent yes
234
235 Host backbone backbone.crans.org
236 HostName backbone.crans.org
237 User legallic
238 ForwardAgent yes
239
240 Host backbone.adm backbone.adm.crans.org
241 HostName backbone.adm.crans.org
242 User legallic
243 ForwardAgent yes
244
245 Host backbone.wifi backbone.wifi.crans.org
246 HostName backbone.wifi.crans.org
247 User legallic
248 ForwardAgent yes
249
250 Host batk-0 batk-0.crans.org
251 HostName batk-0.crans.org
252 User legallic
253
254 Host canard.adm canard.adm.crans.org
255 HostName canard.adm.crans.org
256 User legallic
257 ForwardAgent yes
258
259 Host canard.ferme canard canard.ferme.crans.org
260 HostName canard.ferme.crans.org
261 User legallic
262 ForwardAgent yes
263
264 Host cas auth login cas.crans.org login.crans.org auth.crans.org
265 HostName cas.crans.org
266 User legallic
267 ForwardAgent yes
268
269 Host cas.adm cas.adm.crans.org
270 HostName cas.adm.crans.org
271 User legallic
272 ForwardAgent yes
273
274 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
275 HostName charybde.crans.org
276 User legallic
277 ForwardAgent yes
278
279 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
280 HostName charybde.adm.crans.org
281 User legallic
282 ForwardAgent yes
283
284 Host cochon.adm cochon.adm.crans.org
285 HostName cochon.adm.crans.org
286 User legallic
287 ForwardAgent yes
288
289 Host cochon.ferme cochon cochon.ferme.crans.org
290 HostName cochon.ferme.crans.org
291 User legallic
292 ForwardAgent yes
293
294 Host dhcp dhcp.crans.org
295 HostName dhcp.crans.org
296 User legallic
297 ForwardAgent yes
298
299 Host dhcp-21 dhcp-21.crans.org
300 HostName dhcp-21.crans.org
301 User legallic
302 ForwardAgent yes
303
304 Host dhcp.adm dhcp.adm.crans.org
305 HostName dhcp.adm.crans.org
306 User legallic
307 ForwardAgent yes
308
309 Host dindon.adm dindon.adm.crans.org
310 HostName dindon.adm.crans.org
311 User legallic
312 ForwardAgent yes
313
314 Host dindon.ferme dindon dindon.ferme.crans.org
315 HostName dindon.ferme.crans.org
316 User legallic
317 ForwardAgent yes
318
319 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
320 HostName dyson.crans.org
321 User legallic
322 ForwardAgent yes
323
324 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
325 HostName dyson.adm.crans.org
326 User legallic
327 ForwardAgent yes
328
329 Host freebox freebox.crans.org
330 HostName freebox.crans.org
331 User legallic
332 ForwardAgent yes
333
334 Host gordon gordon.crans.org
335 HostName gordon.crans.org
336 User legallic
337 ForwardAgent yes
338
339 Host gordon.adm gordon.adm.crans.org
340 HostName gordon.adm.crans.org
341 User legallic
342 ForwardAgent yes
343
344 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
345 HostName gordon.wifi.crans.org
346 User legallic
347 ForwardAgent yes
348
349 Host horde horde.crans.org
350 HostName horde.crans.org
351 User legallic
352 ForwardAgent yes
353
354 Host horde.adm horde.adm.crans.org
355 HostName horde.adm.crans.org
356 User legallic
357 ForwardAgent yes
358
359 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
360 HostName irc.crans.org
361 User legallic
362 ForwardAgent yes
363
364 Host irc.adm irc.adm.crans.org
365 HostName irc.adm.crans.org
366 User legallic
367 ForwardAgent yes
368
369 Host isc isc.crans.org
370 HostName isc.crans.org
371 User legallic
372 ForwardAgent yes
373
374 Host isc.adm isc.adm.crans.org
375 HostName isc.adm.crans.org
376 User legallic
377 ForwardAgent yes
378
379 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
380 HostName jouvence.crans.org
381 User legallic
382 ForwardAgent yes
383
384 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
385 HostName jouvence.adm.crans.org
386 User legallic
387 ForwardAgent yes
388
389 Host kdell kdell.crans.org
390 HostName kdell.crans.org
391 User legallic
392 ForwardAgent yes
393
394 Host kdell.adm kdell.adm.crans.org
395 HostName kdell.adm.crans.org
396 User legallic
397 ForwardAgent yes
398
399 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
400 HostName kenobi.crans.org
401 User legallic
402 ForwardAgent yes
403
404 Host kenobi.adm kenobi.adm.crans.org
405 HostName kenobi.adm.crans.org
406 User legallic
407 ForwardAgent yes
408
409 Host komaz komaz.crans.org
410 HostName komaz.crans.org
411 User legallic
412 ForwardAgent yes
413
414 Host komaz-21 komaz-21.crans.org
415 HostName komaz-21.crans.org
416 User legallic
417 ForwardAgent yes
418
419 Host komaz.adm komaz.adm.crans.org
420 HostName komaz.adm.crans.org
421 User legallic
422 ForwardAgent yes
423
424 Host komaz.wifi komaz.wifi.crans.org
425 HostName komaz.wifi.crans.org
426 User legallic
427 ForwardAgent yes
428
429 Host lapin.adm lapin.adm.crans.org
430 HostName lapin.adm.crans.org
431 User legallic
432 ForwardAgent yes
433
434 Host lapin.ferme lapin lapin.ferme.crans.org
435 HostName lapin.ferme.crans.org
436 User legallic
437 ForwardAgent yes
438
439 Host malloc malloc.crans.org
440 HostName malloc.crans.org
441 User legallic
442 ForwardAgent yes
443
444 Host malloc.adm malloc.adm.crans.org
445 HostName malloc.adm.crans.org
446 User legallic
447 ForwardAgent yes
448
449 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
450 HostName mdr.crans.org
451 User legallic
452 ForwardAgent yes
453
454 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
455 HostName mdr.adm.crans.org
456 User legallic
457 ForwardAgent yes
458
459 Host nat64 nat64.crans.org
460 HostName nat64.crans.org
461 User legallic
462 ForwardAgent yes
463
464 Host nat64.adm nat64.adm.crans.org
465 HostName nat64.adm.crans.org
466 User legallic
467 ForwardAgent yes
468
469 Host nem nem.crans.org
470 HostName nem.crans.org
471 User legallic
472 ForwardAgent yes
473
474 Host nem.adm nem.adm.crans.org
475 HostName nem.adm.crans.org
476 User legallic
477 ForwardAgent yes
478
479 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
480 HostName news.crans.org
481 User legallic
482 ForwardAgent yes
483
484 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
485 HostName news.adm.crans.org
486 User legallic
487 ForwardAgent yes
488
489 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
490 HostName niomniom.crans.org
491 User legallic
492 ForwardAgent yes
493
494 Host niomniom.adm niomniom.adm.crans.org
495 HostName niomniom.adm.crans.org
496 User legallic
497 ForwardAgent yes
498
499 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
500 HostName o2.crans.org
501 User legallic
502 ForwardAgent yes
503
504 Host o2.adm o2.adm.crans.org
505 HostName o2.adm.crans.org
506 User legallic
507 ForwardAgent yes
508
509 Host oie.adm oie.adm.crans.org
510 HostName oie.adm.crans.org
511 User legallic
512 ForwardAgent yes
513
514 Host oie.ferme oie oie.ferme.crans.org
515 HostName oie.ferme.crans.org
516 User legallic
517 ForwardAgent yes
518
519 Host ovh msn ovh.crans.org msn.crans.org
520 HostName ovh.crans.org
521 User legallic
522 ForwardAgent yes
523
524 Host ovh.adm ovh.adm.crans.org
525 HostName ovh.adm.crans.org
526 User legallic
527 ForwardAgent yes
528
529 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
530 HostName owl.crans.org
531 User legallic
532 ForwardAgent yes
533
534 Host owl.adm owl.adm.crans.org
535 HostName owl.adm.crans.org
536 User legallic
537 ForwardAgent yes
538
539 Host pegase pegase.crans.org
540 HostName pegase.crans.org
541 User legallic
542 ForwardAgent yes
543
544 Host puppet puppet.crans.org
545 HostName puppet.crans.org
546 User legallic
547 ForwardAgent yes
548
549 Host puppet.adm puppet.adm.crans.org
550 HostName puppet.adm.crans.org
551 User legallic
552 ForwardAgent yes
553
554 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
555 HostName redisdead.crans.org
556 User legallic
557 ForwardAgent yes
558
559 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
560 HostName redisdead.adm.crans.org
561 User legallic
562 ForwardAgent yes
563
564 Host roundcube roundcube.crans.org
565 HostName roundcube.crans.org
566 User legallic
567 ForwardAgent yes
568
569 Host roundcube.adm roundcube.adm.crans.org
570 HostName roundcube.adm.crans.org
571 User legallic
572 ForwardAgent yes
573
574 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
575 HostName routeur.crans.org
576 User legallic
577 ForwardAgent yes
578
579 Host routeur-21 routeur-21.crans.org
580 HostName routeur-21.crans.org
581 User legallic
582 ForwardAgent yes
583
584 Host routeur.adm routeur.adm.crans.org
585 HostName routeur.adm.crans.org
586 User legallic
587 ForwardAgent yes
588
589 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
590 HostName sable.crans.org
591 User legallic
592 ForwardAgent yes
593
594 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
595 HostName sable.adm.crans.org
596 User legallic
597 ForwardAgent yes
598
599 Host schrodingred schrodingred.crans.org
600 HostName schrodingred.crans.org
601 User legallic
602 ForwardAgent yes
603
604 Host schrodingred.adm schrodingred.adm.crans.org
605 HostName schrodingred.adm.crans.org
606 User legallic
607 ForwardAgent yes
608
609 Host sogo sogo.crans.org
610 HostName sogo.crans.org
611 User legallic
612 ForwardAgent yes
613
614 Host sogo.adm sogo.adm.crans.org
615 HostName sogo.adm.crans.org
616 User legallic
617 ForwardAgent yes
618
619 Host ssh2 ssh2.crans.org
620 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
621 # pour passer à travers les blocages de ports (443 = https)
622 HostName 138.231.136.2
623 Port 443
624 User legallic
625 ForwardAgent yes
626
627 Host template template.crans.org
628 HostName template.crans.org
629 User legallic
630 ForwardAgent yes
631
632 Host template.adm template.adm.crans.org
633 HostName template.adm.crans.org
634 User legallic
635 ForwardAgent yes
636
637 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
638 HostName thot.crans.org
639 User legallic
640 ForwardAgent yes
641
642 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
643 HostName thot.adm.crans.org
644 User legallic
645 ForwardAgent yes
646
647 Host titanic titanic.crans.org
648 HostName titanic.crans.org
649 User legallic
650 ForwardAgent yes
651
652 Host titanic.adm titanic.adm.crans.org
653 HostName titanic.adm.crans.org
654 User legallic
655 ForwardAgent yes
656
657 Host tracker todo tracker.crans.org todo.crans.org
658 HostName tracker.crans.org
659 User legallic
660 ForwardAgent yes
661
662 Host tracker.adm tracker.adm.crans.org
663 HostName tracker.adm.crans.org
664 User legallic
665 ForwardAgent yes
666
667 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
668 HostName vo.crans.org
669 User legallic
670 ForwardAgent yes
671
672 Host vo.adm vo.adm.crans.org
673 HostName vo.adm.crans.org
674 User legallic
675 ForwardAgent yes
676
677 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
678 HostName xmpp.crans.org
679 User legallic
680 ForwardAgent yes
681
682 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
683 HostName xmpp.adm.crans.org
684 User legallic
685 ForwardAgent yes
686
687 Host ytrap-llatsni ytrap-llatsni.crans.org
688 HostName ytrap-llatsni.crans.org
689 User legallic
690 ForwardAgent yes
691
692 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
693 HostName ytrap-llatsni.adm.crans.org
694 User legallic
695 ForwardAgent yes
696
697 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
698 HostName zamok.crans.org
699 User legallic
700 ForwardAgent yes
701
702 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
703 HostName zamok.adm.crans.org
704 User legallic
705 ForwardAgent yes
706
707 # Pas vraiment un serveur Cr@ns
708 Host rezosup rezosup.crans.org
709 HostName rezosup.crans.org
710 User legallic
711 ForwardAgent yes
712
713
714 # +-------------------------+
715 # | Serveurs Cr@ns adm-only |
716 # +-------------------------+
717 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
718 # d'où la ProxyCommand
719 # fy et fz ne sont accessibles qu'aux nounous
720
721 Host alice.adm alice alice alice.adm.crans.org
722 HostName alice.adm.crans.org
723 User legallic
724 ForwardAgent yes
725 ProxyCommand ssh sable.crans.org -W %h:%p
726
727 Host babar.adm babar babar babar.adm.crans.org
728 HostName babar.adm.crans.org
729 User legallic
730 ForwardAgent yes
731 ProxyCommand ssh sable.crans.org -W %h:%p
732
733 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
734 HostName bcfg2.adm.crans.org
735 User legallic
736 ForwardAgent yes
737 ProxyCommand ssh sable.crans.org -W %h:%p
738
739 Host daath.adm daath daath daath.adm.crans.org
740 HostName daath.adm.crans.org
741 User legallic
742 ForwardAgent yes
743 ProxyCommand ssh sable.crans.org -W %h:%p
744
745 Host eap.adm eap eap eap.adm.crans.org
746 HostName eap.adm.crans.org
747 User legallic
748 ForwardAgent yes
749 ProxyCommand ssh sable.crans.org -W %h:%p
750
751 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
752 HostName fx-ilo.adm.crans.org
753 User legallic
754 ForwardAgent yes
755 ProxyCommand ssh sable.crans.org -W %h:%p
756 HostKeyAlgorithms ssh-rsa
757
758 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
759 HostName fy-ilo.adm.crans.org
760 User legallic
761 ForwardAgent yes
762 ProxyCommand ssh sable.crans.org -W %h:%p
763 HostKeyAlgorithms ssh-rsa
764
765 Host fy.adm fy fy fy.adm.crans.org
766 HostName fy.adm.crans.org
767 User legallic
768 ForwardAgent yes
769 ProxyCommand ssh sable.crans.org -W %h:%p
770
771 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
772 HostName fz-ilo.adm.crans.org
773 User legallic
774 ForwardAgent yes
775 ProxyCommand ssh sable.crans.org -W %h:%p
776 HostKeyAlgorithms ssh-rsa
777
778 Host fz.adm fz fz fz.adm.crans.org
779 HostName fz.adm.crans.org
780 User legallic
781 ForwardAgent yes
782 ProxyCommand ssh sable.crans.org -W %h:%p
783
784 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
785 HostName kdell-idrac.adm.crans.org
786 User legallic
787 ForwardAgent yes
788 ProxyCommand ssh sable.crans.org -W %h:%p
789
790 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
791 HostName komaz-ilo.adm.crans.org
792 User legallic
793 ForwardAgent yes
794 ProxyCommand ssh sable.crans.org -W %h:%p
795 HostKeyAlgorithms ssh-rsa
796
797 Host pea.adm pea pea pea.adm.crans.org
798 HostName pea.adm.crans.org
799 User legallic
800 ForwardAgent yes
801 ProxyCommand ssh sable.crans.org -W %h:%p
802
803 Host radius.adm radius radius radius.adm.crans.org
804 HostName radius.adm.crans.org
805 User legallic
806 ForwardAgent yes
807 ProxyCommand ssh sable.crans.org -W %h:%p
808
809 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
810 HostName sable-ilo.adm.crans.org
811 User legallic
812 ForwardAgent yes
813 ProxyCommand ssh sable.crans.org -W %h:%p
814 HostKeyAlgorithms ssh-rsa
815
816 Host slon.adm slon slon slon.adm.crans.org
817 HostName slon.adm.crans.org
818 User legallic
819 ForwardAgent yes
820 ProxyCommand ssh sable.crans.org -W %h:%p
821
822 Host test42.adm test42 test42 test42.adm.crans.org
823 HostName test42.adm.crans.org
824 User legallic
825 ForwardAgent yes
826 ProxyCommand ssh sable.crans.org -W %h:%p
827
828 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
829 HostName vert.adm.crans.org
830 User legallic
831 ForwardAgent yes
832 ProxyCommand ssh sable.crans.org -W %h:%p
833
834 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
835 HostName zbee-idrac.adm.crans.org
836 User legallic
837 ForwardAgent yes
838 ProxyCommand ssh sable.crans.org -W %h:%p
839
840 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
841 HostName zbee.adm.crans.org
842 User legallic
843 ForwardAgent yes
844 ProxyCommand ssh sable.crans.org -W %h:%p
845
846
847 # +---------+
848 # | FedeRez |
849 # +---------+
850 # Accessibles aux membres de l'équipe d'admin de FedeRez
851
852 # Actuellement down, mais on ne sait jamais
853 Host nautilus nautilus.federez.net
854 HostName nautilus.federez.net
855 User legallic
856 ForwardAgent yes
857
858 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
859 HostName baldrick.federez.net
860 User legallic
861 ForwardAgent yes
862
863 Host quigon quigon.federez.net
864 HostName quigon.federez.net
865 User legallic
866 ForwardAgent yes
867
868 Host polygon polygon.federez.net
869 HostName polygon.federez.net
870 User legallic
871 ForwardAgent yes
872
873 Host hexagon hexagon.federez.net
874 HostName hexagon.federez.net
875 User legallic
876 ForwardAgent yes
877
878
879 # +-------------------+
880 # | Serveurs de l'ENS |
881 # +-------------------+
882 # Accessibles aux élèves de l'ENS
883
884 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
885 HostName tselin.clietu.ens-cachan.fr
886 User vlegalli
887 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
888
889 Host tahines.ens-cachan.fr tahines2 tahines
890 HostName tahines.ens-cachan.fr
891 User vlegalli
892
893
894 # +-----+
895 # | Ulm |
896 # +-----+
897 # Parce que je me suis inscrit à la DSI d'Ulm
898
899 Host clipper clipper.ens.fr
900 HostName clipper.ens.fr
901 User legallic
902
903 Host anat anat.ens.fr
904 HostName anat.ens.fr
905 User legallic
906 ForwardAgent yes
907
908 Host horus horus.ens.fr
909 HostName horus.ens.fr
910 User legallic
911 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
912
913 Host neith neith.ens.fr
914 HostName neith.ens.fr
915 User legallic
916 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
917
918 Host sas sas.eleves.ens.fr
919 HostName sas.eleves.ens.fr
920 User legallic
921
922
923 # +------------------+
924 # | Département info |
925 # +------------------+
926 # Machines du département informatique de l'ENSC
927
928 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
929 #HostName 138.231.36.60
930 HostName ssh.dptinfo.ens-cachan.fr
931 User vlegalli
932 ForwardAgent yes
933
934 Host dptinfo*.dptinfo.ens-cachan.fr
935 HostName %h
936 User vlegalli
937 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
938 ForwardAgent yes
939
940 Host info*
941 HostName dpt%h.dptinfo.ens-cachan.fr
942 User vlegalli
943 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
944 ForwardAgent yes
945
946
947 # +--------+
948 # | Stages |
949 # +--------+
950 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
951 HostName mars.lbpa.ens-cachan.fr
952 User vincent
953 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
954
955 # END (utile pour éviter les merge conflicts)
956