3.5.0

filter out "docker" default distributions from configuration (#277 )
filter out "docker" distributions from configuration (#277 )
2025-11-04 17:11:54 +00:00 · 2021-04-15 18:07:12 +02:00 · 2021-04-09 10:29:21 +02:00 · 2021-04-07 14:30:15 +02:00
3 changed files with 13 additions and 4 deletions
--- a/2
+++ b/2
@@ -1 +1 @@
-3.4.7
+3.5.0
--- a/config-distros.sh
+++ b/config-distros.sh
@@ -291,6 +291,15 @@ config () {
  echoc "- root $root"
  wdir=%USERPROFILE%

+  case "$name" in
+  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
 	echo Setting +x wslbridge2 backends for distro "'$distro'"
--- a/6
+++ b/6
@@ -10,16 +10,16 @@


 # wsltty release
-ver=3.4.7
+ver=3.5.0

 # wsltty appx release - must have 4 parts!
-verx=3.4.7.0
+verx=3.5.0.0


 ##############################
 # mintty release version

-minttyver=3.4.7
+minttyver=3.5.0

 ##############################
Author	SHA1	Message	Date
mintty	d67ce45c3e	3.5.0	2021-04-15 18:07:12 +02:00
mintty	6e74ab4d5b	filter out "docker" default distributions from configuration (#277 )	2021-04-09 10:29:21 +02:00
mintty	ee4e403f4c	filter out "docker" distributions from configuration (#277 )	2021-04-07 14:30:15 +02:00
@@ -1 +1 @@
 .4.7
 .5.0