workaround to ensure unique configuration location (#45 )

add --configdir to default shortcuts, just in case (~#45)
fix default config directory
2025-11-14 22:05:58 +00:00 · 2017-05-25 18:07:10 +02:00 · 2017-05-24 15:53:43 +02:00 · 2017-05-24 15:35:59 +02:00
6 changed files with 5 additions and 2 deletions
--- a/README.md
+++ b/README.md
@@ -78,7 +78,7 @@ Mintty can maintain its configuration file in various locations,
 with the following precedence:
 * file given with mintty option `-c` (not used by wsltty default installation)
 * file `config` in directory given with mintty option `--configdir`
-  * This is `%APPDATA%\mintty\config` in the default wsltty installation.
+  * This is `%APPDATA%\wsltty\config` in the default wsltty installation.
 * `%HOME%\.minttyrc` (usage deprecated with wsltty)
 * `%HOME%\.config\mintty\config` (usage deprecated with wsltty)
 * `%APPDATA%\mintty\config`
--- a/Mintty.lnk
+++ b/Mintty.lnk
--- a/Mintty.lnk
+++ b/Mintty.lnk
--- a/Mintty.lnk
+++ b/Mintty.lnk
--- 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
--- a/2
+++ b/2
@@ -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
Author	SHA1	Message	Date
mintty	beed642144	workaround to ensure unique configuration location (#45 )	2017-05-25 18:07:10 +02:00
mintty	a3c32980e7	add --configdir to default shortcuts, just in case (~#45)	2017-05-24 15:53:43 +02:00
mintty	e6ce36e2bd	fix default config directory	2017-05-24 15:35:59 +02:00