1
0
mirror of https://github.com/mintty/wsltty.git synced 2025-01-18 20:10:58 +00:00

workaround to ensure unique configuration location (#45)

This commit is contained in:
mintty 2017-05-25 18:07:10 +02:00
parent a3c32980e7
commit beed642144
2 changed files with 4 additions and 1 deletions

View File

@ -105,5 +105,8 @@ mkdir "%configdir%\lang"
mkdir "%configdir%\sounds"
mkdir "%configdir%\themes"
rem create config file if it does not yet exist
if not exist "%configdir%\config" echo # To use common configuration in %%APPDATA%%\mintty, simply remove this file>"%configdir%\config"
:end

View File

@ -9,7 +9,7 @@
all: check pkg
# wsltty release
ver=0.7.7.1
ver=0.7.7.2
# mintty release version
minttyver=2.7.7