nixcfg/cluster/prod/ssh_config

UserKnownHostsFile ./ssh_known_hosts

Host concombre
	#HostName 2a01:e0a:c:a720::31
	HostName 192.168.1.31

Host courgette
	#HostName 2a01:e0a:c:a720::32
	HostName 192.168.1.32

Host celeri
	#HostName 2a01:e0a:c:a720::33
	HostName 192.168.1.33
Config for prod cluster 2022-02-09 14:38:36 +00:00			`UserKnownHostsFile ./ssh_known_hosts`

			`Host concombre`
Update network configuration 2022-05-08 12:42:18 +00:00			`#HostName 2a01:e0a:c:a720::31`
			`HostName 192.168.1.31`
Config for prod cluster 2022-02-09 14:38:36 +00:00
			`Host courgette`
Update network configuration 2022-05-08 12:42:18 +00:00			`#HostName 2a01:e0a:c:a720::32`
			`HostName 192.168.1.32`
Config for prod cluster 2022-02-09 14:38:36 +00:00
			`Host celeri`
Update network configuration 2022-05-08 12:42:18 +00:00			`#HostName 2a01:e0a:c:a720::33`
			`HostName 192.168.1.33`