Linuxのインストール用領域はWindows10で確保した方が安全

Windows10のディスク管理を使って未割当領域を作成する

インストール用のUSBを使用してライブで起動させる

ライブで起動したLinuxでネットワークも含め正常に機能する事を確認

gpartedを起動してパーティションの状態を確認する

gpartedがなければインストールする

インストール用に/とswapの2パーティションを作成する

/home,/var等複数のパーティションが必要であればここで作成

instaal linux mint をダブルクリックでインストーラー起動

ここからは重要な点だけを記載

事前にgpartedでパーティションを作成済みなので「それ以外」を選択

windowsが利用しているefiパーティションを選択する

事前にefiパーティションのバックアップを取っておく事(サイトについて内のおまけ参照)

windowsのefiパーティションを利用したくない場合は別のUSBメモリにefiパーティションを作成してそれを選択する(起動にはUSBが必須となる)

Linuxをインストールするパーテイションの選択し初期化も設定

swapがなくても利用できるがメモリが逼迫するとフリーズするので利用する

これ以降の解説は省略

起動時は上記の画面(GRUB)が表示され起動の選択ができる

Linux MintでLinux起動、Windows boot managerでwindows10が起動

Windowsのefiを利用したくない場合は別のUSBメモリに起動用のefiを使用する事で可能だが、インストール時に指定するefiを変える必要がある

windows10ではUEFIのセキュアブートが有効になっているので上記のエラーが発生

セキュアブートを無効にする事でLinuxを起動する事ができる

セキュアブートを無効にできないまたはしたくない場合はセキュアブートに対応したディストリビューションを選択する

Linux起動後にLinuxから見たパーテイション構成

★▶︎はLinuxが利用しているパーティションを意味する

Windowsパーティションもマウントすれば読み込みできるが、Linuxからwindows10のパーティション削除とフォーマットはできるので要注意

windows起動後にwindows10から見たパーテイション構成

パーティション6と7がLinuxパーティションである

Windows10からLinuxパーティションデータの読み書きはできないが、パーティション削除とフォーマットはできるので要注意

MXLinuxとBunsenLabs Linuxのデュアルブート

2007年のWindows Vistaモデルなので、少しもたつくが子供の学習用に最適