Re: [PATCH v2] ssh: add 'ssh.keyfile' option

["Raymond E. Pasco" <ray@xxxxxxxxxxxx>]

On Thu Apr 23, 2020 at 7:24 PM, Johannes Sixt wrote:
> Then attach the invented name to the real host name and the identity in
> your ~/.ssh/config:
>
> 
> Host other.github.com
> Hostname github.com
> Identity ~/.ssh/id_other_ed25519

This works for my purposes. The exact block I needed:

Host fake.host
  Hostname real.host
  IdentityFile ~/.ssh/alt_ed25519
  IdentitiesOnly yes