mirror of
https://github.com/mintty/wsltty.git
synced 2025-01-18 20:10:58 +00:00
parent
3b6a356585
commit
088f3bc06b
15
README.md
15
README.md
@ -43,14 +43,19 @@ add a `cd` command to your `$HOME/.profile` on Linux side.
|
|||||||
Mintty can maintain its configuration file in various locations,
|
Mintty can maintain its configuration file in various locations,
|
||||||
with the following precedence:
|
with the following precedence:
|
||||||
* file given with mintty option `-c`
|
* file given with mintty option `-c`
|
||||||
* `%LOCALAPPDATA%\wsltty\home\%USERNAME%\.minttyrc`
|
* `%HOME%\.minttyrc`
|
||||||
* `%LOCALAPPDATA%\wsltty\home\%USERNAME%\.config\mintty\config`
|
* `%HOME%\.config\mintty\config`
|
||||||
* `%APPDATA%\mintty\config`
|
* `%APPDATA%\mintty\config`
|
||||||
* `%LOCALAPPDATA%\wsltty\etc\minttyrc`
|
* `%LOCALAPPDATA%\wsltty\etc\minttyrc`
|
||||||
|
|
||||||
Note that the `%APPDATA%\mintty\config` option provides the possibility
|
Note:
|
||||||
to maintain common mintty settings for various installations (like
|
* By default, `%HOME%` would refer to the root directory of the cygwin standalone
|
||||||
wsltty, Cygwin, MinGW/msys, Git for Windows, MinEd for Windows).
|
installation hosting wsltty. So `%HOME%` would mean `%LOCALAPPDATA%\wsltty\home\%USERNAME%`.
|
||||||
|
If you define `HOME` at Windows level, this changes accordingly.
|
||||||
|
Note, however, that the WSL `HOME` is a completely different setting.
|
||||||
|
* The `%APPDATA%\mintty\config` option provides the possibility to
|
||||||
|
maintain common mintty settings for various installations (like
|
||||||
|
wsltty, Cygwin, MinGW/msys, Git for Windows, MinEd for Windows).
|
||||||
|
|
||||||
#### Shell selection ####
|
#### Shell selection ####
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user