I have an .ssh/config file that gives several names for the same remote host, e.g.:-
Host cheddar HostName cheddar.halon.org.uk Host halon HostName cheddar.halon.org.uk
Then I have an entry for cheddar.halon.org.uk which specifies various things for that host. I was expecting that the configuration at the cheddar.halon.org.uk would get executed when I used 'cheddar' or 'halon' for the ssh connection but it doesn't. The cheddar.halon.org.uk configuration only gets set when I do 'ssh cheddar.halon.org.uk'.
Is there any way to get the same configuration when using a number of different names for a host?