「Windows 10ミニTips」は各回の作成時点で最新のWindows 10環境を使用しています。

「wsl.exe」で既定のLinuxディストリビューションを変更

Windows 10でLinuxを使用するWSL(Windows Subsystem for Linux)は、Linuxカーネルを組み込むことで大幅にパフォーマンスを改善する「WSL 2」の開発を進めている。

  • Windows 10 ミニTips

    Windows 10 Insider Previewで動作するWSL 2(LinuxディストリビューションはDebian GNU/Linux)

Windows 10とLinuxを併用するユーザーには待ち遠しいが、Windows 10バージョン1903で動作するのは「WSL 1」。現状でも、UbuntuやDebian GNU/Linuxなど、複数のLinuxディストリビューションをインストールしている読者諸氏も少なくないだろう。

  • Windows 10 ミニTips

    Microsoft StoreのWSLページ。「Linux」で検索すればOpenSUSEなど他のLinuxディストリビューションも入手可能

スタートメニューやタスクバーにピン留めすれば、各Linuxディストリビューションを起動できる。コマンドライン操作に慣れているユーザーなら、「bash.exe」を実行してLinux環境を起動することのほうが多いかもしれない。

  • Windows 10 ミニTips

    コマンドプロンプトから「bash.exe」を実行することで、そのままLinuxに切り替わる

だが、複数のLinuxディストリビューションをインストールした場合、bash.exeからは既定のLinuxディストリビューションしか起動できない。この設定を変更するのが「wsl.exe」というわけだ。

  • Windows 10 ミニTips

    コマンドプロンプトを起動し、「wsl -l」と入力して「Enter」キーを押すと、インストール済みLinuxディストリビューションの一覧が現れる。この時点の既定はDebian GNU/Linuxだ

  • Windows 10 ミニTips

    たとえばUbuntuに切り替える場合は、「wsl -l Ubuntu」と入力して「Enter」キーを押せば、既定のLinuxディストリビューションがUbuntuに切り替わる

  • Windows 10 ミニTips

    「bash.exe」を実行すると、Ubuntuに切り替わる

このように、Linuxディストリビューションは自由に切り替えられる。興味があれば、WSL 2に備えてWSL 1とLinuxに親しんでおくとよいだろう。

阿久津良和(Cactus)