From 48617b7e06033093f7b1631c76954dd97cf83d24 Mon Sep 17 00:00:00 2001 From: Mike Griese Date: Mon, 4 May 2020 15:04:09 -0500 Subject: [PATCH] Add a note that the user needs to hide dynamic profiles (#5684) Add a note that the user needs to hide dynamic profiles, not just delete them. * [x] I work here * [x] Is documentation. * related to discussion in #3231 --- doc/user-docs/UsingJsonSettings.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/user-docs/UsingJsonSettings.md b/doc/user-docs/UsingJsonSettings.md index 5764673d075..90e1bbc0f99 100644 --- a/doc/user-docs/UsingJsonSettings.md +++ b/doc/user-docs/UsingJsonSettings.md @@ -252,6 +252,12 @@ like to hide all the WSL profiles, you could add the following setting: ``` +> 👉 **NOTE**: On launch, if a dynamic profile generator is enabled, it will +> always add new profiles it detects to your list of profiles. If you delete a +> dynamically generated profile from your list of profiles, it will just get +> re-added the next time the Terminal is launched! To remove a dynamic profile +> from your list of profiles, make sure to set `"hidden": true` in the profile. + ### Default settings In [#2325](https://github.com/microsoft/terminal/issues/2325), we introduced the