wslconfig utility
authorOleksandr Gavenko <gavenkoa@gmail.com>
Fri, 24 May 2019 19:42:30 +0300
changeset 2368 574d07ac6f55
parent 2367 f295973a87a5
child 2369 947ae736e728
wslconfig utility
wsl.rst
--- a/wsl.rst	Fri May 24 11:21:46 2019 +0300
+++ b/wsl.rst	Fri May 24 19:42:30 2019 +0300
@@ -26,3 +26,21 @@
   wsl -u user ls
   wsl --user root ls
 
+wslconfig utility
+=================
+
+List distros::
+
+  wslconfig /l
+  wslconfig /list
+
+Set default distro::
+
+  wslconfig /s debian
+  wslconfig /setdefault debian
+
+Terminate any running parts of distro::
+
+  wslconfig /s debian
+  wslconfig /terminate debian
+