# SysInfo ISF Host *.cn.isf Port 46022 User sysinfo IdentityFile ~/.ssh/id_isf_rsa Host conf.isf HostName conference.isf-france.org User sysinfo_conf IdentityFile ~/.ssh/id_isf_rsa Host visio.isf HostName visio.isf-france.org User sysinfo_visio IdentityFile ~/.ssh/id_isf_rsa Host web.isf HostName vps617980.ovh.net User sysinfo_web IdentityFile ~/.ssh/id_isf_rsa # My own servers ## Jupiter Host jupiter.local IdentityFile ~/.ssh/id_rsa Port 7025 HostName 192.168.1.101 Host jupiter IdentityFile ~/.ssh/id_rsa Port 7025 HostName jovian-hersemeule.eu ## March Host march.local IdentityFile ~/.ssh/id_rsa Port 7026 HostName 192.168.1.104 Host march IdentityFile ~/.ssh/id_rsa Port 7026 HostName jovian-hersemeule.eu