新しい環境を作る機会もあるので、sshの設定も見直すことにしました。 いままで2048bit RSA鍵を使っていましたがed25519鍵を使うことにします。 ローカルPCには.ssh/id_rsa, .ssh/id_rsa.pub が作成されていることとします。 $ ls -al .ssh total 64 drwx---…