インストールして、サーバのファイルを編集だけど、何人かの学生がログインできない様子。ホスト名”といったエラーが表示される。同様のエラーの情報を探していたら、以下のようにremotePlatformを指定すれば良いとの情報。Platformを編集するためのsettings.jsonの編集画面となる。この中で、”remote.SSH.remotePlatform”に、接続相手の名前とOS種別(今回はLinux)を設定する。