mirror of
https://github.com/mintty/wsltty.git
synced 2025-01-18 12:05:47 +00:00
filter out "docker" distributions from configuration (#277)
This commit is contained in:
parent
a332cf8eaa
commit
ee4e403f4c
@ -291,6 +291,11 @@ config () {
|
|||||||
echoc "- root $root"
|
echoc "- root $root"
|
||||||
wdir=%USERPROFILE%
|
wdir=%USERPROFILE%
|
||||||
|
|
||||||
|
case "$name" in
|
||||||
|
docker*) echo skipping docker system
|
||||||
|
return;;
|
||||||
|
esac
|
||||||
|
|
||||||
if $ok && ! $remove && [ -n "$distro" ]
|
if $ok && ! $remove && [ -n "$distro" ]
|
||||||
then # fix #163: backend missing +x with certain mount options
|
then # fix #163: backend missing +x with certain mount options
|
||||||
echo Setting +x wslbridge2 backends for distro "'$distro'"
|
echo Setting +x wslbridge2 backends for distro "'$distro'"
|
||||||
|
Loading…
Reference in New Issue
Block a user