On 12/11/20 10:28 AM, Brian Candler wrote:> On 11/12/2020 08:42, Harald Dunkel wrote:
>> ssh_config(5) explicitly allows numeric IP addresses (plural) on the
>> Hostname config line in .ssh/config,
>
> Can you point to where it says that explicitly? I see in ssh_config(5):
>
> ???? HostName
> ???????????? Specifies the real host name to log into.
>
It says
Hostname
Specifies the real host name to log into. This can be used to
specify nicknames or abbreviations for hosts. *Arguments to
Hostname* accept the tokens described in the TOKENS section. Nu-
meric *IP addresses* are also permitted (both on the command line
and in Hostname specifications). The default is the name given
on the command line.
Of course I understand that this is ambiguous. I don't expect any miracles
here.
Having both IPv4 and IPv6 address defined for a specific Host would be
reasonable, though.
Regards
Harri