filter out "docker" default distributions from configuration (#277)

mintty · Apr 9, 2021 · 6e74ab4 · 6e74ab4
1 parent ee4e403
commit 6e74ab4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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