From 23bea9e5b55415b80aa91e16bdaf51467c10f158 Mon Sep 17 00:00:00 2001 From: Mike Griese Date: Fri, 27 Sep 2019 16:50:03 -0500 Subject: [PATCH] doc: add note on dynamic profile GUIDs (#2938) --- doc/user-docs/UsingJsonSettings.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/user-docs/UsingJsonSettings.md b/doc/user-docs/UsingJsonSettings.md index 80871ed0ef..e7985a8f96 100644 --- a/doc/user-docs/UsingJsonSettings.md +++ b/doc/user-docs/UsingJsonSettings.md @@ -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: