# 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 zeldren.crans.org zeldren
+ HostName zeldren.crans.org
+ User vincent
+ ForwardAgent yes
+
Host cerebro.crans.org cerebro
HostName cerebro.crans.org
User vincent