# ProxyCommand = pour passer par un autre serveur intermédiaire
# (pour un serveur qui ne peut pas être contacté directement)
-UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
+UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo ~/.ssh/known_hosts_telecom_serveurs ~/.ssh/known_hosts_telecom_tp
# +--------------+
# | Mes machines |
# +--------------+
+Host zeldrenviatahinesviapimeys
+ HostName zeldren.crans.org
+ User vincent
+ ProxyCommand ssh tahinesviapimeys -W %h:%p
+
+Host tahinesviapimeys
+ HostName tahines.ens-cachan.fr
+ User vlegalli
+ ProxyCommand ssh pimeys.fr -W %h:%p
+
+Host zeldren.crans.org zeldren
+ HostName zeldren.crans.org
+ User vincent
+ ForwardAgent yes
+
Host cerebro.crans.org cerebro
HostName cerebro.crans.org
User vincent
HostName vert.adm.crans.org
User legallic
ForwardAgent yes
- ProxyCommand ssh sable.crans.org -W %h:%p
+ ProxyCommand ssh redisdead.crans.org -W %h:%p
Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
HostName zbee-idrac.adm.crans.org