From beed64214480e558108c7698a876e5d824fd7a4d Mon Sep 17 00:00:00 2001 From: mintty Date: Thu, 25 May 2017 18:07:10 +0200 Subject: [PATCH] workaround to ensure unique configuration location (#45) --- install.bat | 3 +++ makefile | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/install.bat b/install.bat index 754e8b6..dc4625a 100755 --- a/install.bat +++ b/install.bat @@ -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 diff --git a/makefile b/makefile index 6ccd368..29a485f 100644 --- a/makefile +++ b/makefile @@ -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