# SysInfo ISF
Host *.cn.isf
Port 46022
User sysinfo
IdentityFile ~/.ssh/id_isf_rsa

# My own servers
## Jupiter
Host jupiter.local
Port 7025
HostName 192.168.1.101

Host jupiter
Port 7025
HostName jovian-hersemeule.eu

## March
Host march.local
Port 7026
HostName 192.168.1.104

Host march
Port 7026
HostName jovian-hersemeule.eu