「Windows 10ミニTips」は各回の作成時点で最新のWindows 10環境を使用しています。
「wsl.exe」で既定のLinuxディストリビューションを変更
Windows 10でLinuxを使用するWSL（Windows Subsystem for Linux）は、Linuxカーネルを組み込むことで大幅にパフォーマンスを改善する「WSL 2」の開発を進めている。
-
Windows 10 Insider Previewで動作するWSL 2（LinuxディストリビューションはDebian GNU/Linux）
Windows 10とLinuxを併用するユーザーには待ち遠しいが、Windows 10バージョン1903で動作するのは「WSL 1」。現状でも、UbuntuやDebian GNU/Linuxなど、複数のLinuxディストリビューションをインストールしている読者諸氏も少なくないだろう。
-
Microsoft StoreのWSLページ。「Linux」で検索すればOpenSUSEなど他のLinuxディストリビューションも入手可能
スタートメニューやタスクバーにピン留めすれば、各Linuxディストリビューションを起動できる。コマンドライン操作に慣れているユーザーなら、「bash.exe」を実行してLinux環境を起動することのほうが多いかもしれない。
-
コマンドプロンプトから「bash.exe」を実行することで、そのままLinuxに切り替わる
だが、複数のLinuxディストリビューションをインストールした場合、bash.exeからは既定のLinuxディストリビューションしか起動できない。この設定を変更するのが「wsl.exe」というわけだ。
-
コマンドプロンプトを起動し、「wsl -l」と入力して「Enter」キーを押すと、インストール済みLinuxディストリビューションの一覧が現れる。この時点の既定はDebian GNU/Linuxだ
-
たとえばUbuntuに切り替える場合は、「wsl -l Ubuntu」と入力して「Enter」キーを押せば、既定のLinuxディストリビューションがUbuntuに切り替わる
-
「bash.exe」を実行すると、Ubuntuに切り替わる
このように、Linuxディストリビューションは自由に切り替えられる。興味があれば、WSL 2に備えてWSL 1とLinuxに親しんでおくとよいだろう。
阿久津良和(Cactus)
