maxmustermann/terminal
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

doc: add note on dynamic profile GUIDs (#2938)

Browse source
This commit is contained in:
Mike Griese 2019-09-27 16:50:03 -05:00 committed by Dustin L. Howett (MSFT)
parent 258c8b407c
commit 23bea9e5b5
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
doc/user-docs/UsingJsonSettings.md
View file

@ -183,6 +183,11 @@ When dynamic profiles are created at runtime, they'll be added to the
a linux distro, then the profile will remain in your `profiles.json` file, but
the profile will be hidden.
The Windows Terminal uses the `guid` property of these dynamically-generated
profiles to uniquely identify them. If you try to change the `guid` of a
dynamically-generated profile, the Terminal will automatically recreate a new
entry for that profile.
If you'd like to disable a particular dynamic profile source, you can add that
`source` to the global `"disabledProfileSources"` array. For example, if you'd
like to hide all the WSL profiles, you could add the following setting: