Bash on Windowsのデフォルトディストロを変更する方法

bash -c “redis-server”でredis-serverが起動しなかった。原因は、おそらくDebianとUbuntuの2種類のLinuxが入っているためだが、どうやって解決するかすぐにはわからなかった

wsl-configを使うと良い。これを使うとbash.exeで呼び出されるLinuxを変更することができるらしい。wslconfig /setdefault “Ubuntu”で解決した。