use a dedicated configuration file for mintty. #32
Conversation
The mintty rc file follows the same naming convention as the *.ini file
and is passed as confg file option ('-c') to mintty. This will allow to
configure the mintty appearance based on the launched MSYS
environment.
What kind of config does mintty need separately other than |
|
Yes you are correct, the default config is ~/.minttyrc. But all the launchers start the mintty using the same config file. If someone likes to change the background for the Mingw64 tty, but not the Mingw32 tty, he cannot do this, due to the same config. Using different configuration files will allow this. Also I'm suggesting to use the command line option -c in lower case. Mintty will read the default config file and afterwards the specific config file given by -c. Means also the ~/.minttyrc is fully considered. I belief this can be a good improvement for the launchers. I used to configure my terminals different to easy differentiate Mingw32 from Mingw64, this was my main objective. |
Adding a dedicated mintty rc file per launcher. The mintty rc file follows the same naming convention as the *.ini file and is passed as confg file option ('-c') to mintty. This will allow to configure the mintty appearance based on the launched MSYS environment.