UserKnownHostsFile ./ssh_known_hosts Host concombre HostName 10.42.1.31 Host courgette HostName 10.42.1.32 Host celeri HostName 10.42.1.33