まあ個人の秘密鍵を1個持っておいて、接続先のサーバには、アクセスする人の公開鍵を登録して回ると言うのが正しい使い方なのかもしれないけど。
@osapon ssh_config(5) の IdentityFile の説明には public key file を指定することもできるとあるので、公開鍵を id_ed25519.pub のようなファイルに書き出しておいてそのパスを指定すれば ssh-agent で使わせたい鍵対を選択できるような気がします
@yufushiro おー、いけました。ありがとうございます。
.ssh/configで、鍵ファイルを指定する方法はあるけど、agentのどの鍵を使うか指定できないのかな。sshで特定のサーバに接続するときに「Too many authentication failures」で接続エラーが発生している。agentに登録されている鍵を順番に試すから、鍵を登録しすぎていたら発生するという書き込みを見かけた。