From 149b1a6f1a74c3a664890f246732d0537c1d01c5 Mon Sep 17 00:00:00 2001
From: mintty <mintty@users.noreply.github.com>
Date: Tue, 7 Nov 2017 17:36:39 +0100
Subject: [PATCH] option -info for listing WSL information

---
 config-distros.sh | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/config-distros.sh b/config-distros.sh
index 3fb308f..04f7ffb 100755
--- a/config-distros.sh
+++ b/config-distros.sh
@@ -3,7 +3,17 @@
 contextmenu=false
 remove=false
 alldistros=true
+config=true
+
+case "`basename $0`" in
+wsl*)
+  config=false;;
+esac
+
 case "$1" in
+-info)
+  config=false
+  shift;;
 -shortcuts-remove)
   remove=true
   shift;;
@@ -154,7 +164,7 @@ do
   target='%LOCALAPPDATA%\wsltty\bin\mintty.exe'
   bridgeargs=" "
 
-  if $ok
+  if $ok && $config
   then
     export target minttyargs bridgeargs icon