数日前より，WSL (Windows Subsystem for Linux)を使い始めました．Microsoft StoreでUbuntu 18.04 を入手し，「Windows の機能の有効化または無効化」で「Windows Subsystem for Linux」にチェックを入れてから，再起動．こまごまとした作業をしたのち，rbe…