Remote SSHとDev Containersでリモートサーバーに接続する

VSCodeでRemote SSHとDev Containers を使う場合、VSCodeを実行するクライアントの~/.ssh/configに予めサーバーの情報を書いておくと便利です。 これはVSCodeからも設定できるのですが、多分こっちで書いたほうがラクだと思います。 必要な情報としては、IPアドレス、ユーザー名、秘密鍵のパスです。 当たり前ですが、事前…