# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1558716150 -10800
# Node ID 574d07ac6f5541cc35c920a94fd874a74d3154f6
# Parent  f295973a87a57c45b0463a69f8f38b2cf5cf0fd7
wslconfig utility

diff -r f295973a87a5 -r 574d07ac6f55 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
+