# Remote machines
Host fedi1.9iron.club
	HostName fedi1.9iron.club
Host game2.9iron.club
	HostName game2.9iron.club
Host web1.9iron.club
	HostName web1.9iron.club
Host web2.9iron.club
	HostName web2.9iron.club
# Local address-reserved machines
Host dsk-cstm-0
	HostName dsk-cstm-0.zt.9iron.club
	Port 22
	User salt
Host lap-th-e560-0
	HostName lap-th-e560-0.zt.9iron.club
	Port 22
	User salt

Host *
	Compression yes
	ServerAliveInterval 60