Re: ssh bug known_hosts?

[Jeffrey Walton <noloader@gmail.com>]

On Wed, Mar 1, 2023 at 2:49 PM jeremy ardley <jeremy@ardley.org> wrote:
>
> I may have found a bug in openssh.
> [...]
> I have created a ~/.ssh/config file with contents
>
> Host jeremy_client
>      HostName client.example.com
>      User jeremy
>      IdentityFile ~/.ssh/com.example.jeremy.id_rsa

Does ssh_config(5) do Bash parameter expansion. That is, is the tilde
(~) expanded? I don't see it listed in the man page at
https://linux.die.net/man/5/ssh_config .

Jeff