diff --git a/VERSION b/VERSION index 1981190..9ad370d 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.8.0 +3.8.0.2 diff --git a/install.bat b/install.bat index e9a462e..bf3c8d7 100755 --- a/install.bat +++ b/install.bat @@ -155,6 +155,14 @@ mkdir "%configdir%\emojis" 2> nul: copy "%installdir%\usr\share\mintty\emojis\getemojis" "%configdir%\emojis" 2> nul: copy "%installdir%\usr\share\mintty\emojis\getflags" "%configdir%\emojis" 2> nul: +rem 3.8.0.2: create global config file for troubleshooting +mkdir "%installdir%\etc" 2> nul: +echo ###########################>"%installdir%\etc\minttyrc" +echo # Troubleshooting>>"%installdir%\etc\minttyrc" +echo # To work around a pty interworking issue between wsl and cygwin,>>"%installdir%\etc\minttyrc" +echo # we need to apply this configuration for now:>>"%installdir%\etc\minttyrc" +echo Baud=999999>>"%installdir%\etc\minttyrc" + rem create config file if it does not yet exist if exist "%configdir%\config" goto appconfig echo # To use common configuration in %%APPDATA%%\mintty, simply remove this file>"%configdir%\config" diff --git a/makefile b/makefile index b09bfe4..ca0f30e 100644 --- a/makefile +++ b/makefile @@ -11,7 +11,7 @@ ############################## # mintty and wsltty release versions -wslttyver=3.8.0 +wslttyver=3.8.0.2 minttyver=3.8.0