ブートディスクの切替でLinuxとデュアルブート運用しようと思ったら、うっかりWindows 10のディスクにGRUBを書き込んでしまったので修正する。

という表題のようなことをやらかしたので、修正方法を検索したら、 Windows10マシンにデュアルブートでインストールしたLinux Mintを削除する方法 | ほそぼそプログラミング日記 に解決法が書いてありました。 Windows 10の設定 → 更新とセキュリティ → 回復から再起動し、再起動時に、詳細オプション → コマンドプロンプ…