From 6e74ab4d5b388d16ba75c52b1da6cd965bcff329 Mon Sep 17 00:00:00 2001
From: mintty <mintty@users.noreply.github.com>
Date: Fri, 9 Apr 2021 00:00:00 +0200
Subject: [PATCH] filter out "docker" default distributions from configuration
 (#277)

---
 config-distros.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config-distros.sh b/config-distros.sh
index 0ee0da2..97fceb8 100755
--- a/config-distros.sh
+++ b/config-distros.sh
@@ -295,6 +295,10 @@ config () {
   docker*)	echo skipping docker system
   		return;;
   esac
+  case "$root" in
+  *\\Docker*)	echo skipping docker system
+  		return;;
+  esac
 
   if $ok && ! $remove && [ -n "$distro" ]
   then	# fix #163: backend missing +x with certain mount options