From: Raymond E. Pasco <ray@ameretat.dev>
Date: Fri, 24 Apr 2020 03:24:28 GMT
Subject: Re: [PATCH v2] ssh: add 'ssh.keyfile' option
Message-ID: <C2947F3O0OB7.2XJGV8LYVERWN@nietzsche.my.domain>
In-Reply-To: <d26f8556-ed9b-5145-735b-d348449bb31d@kdbg.org>

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