-
Notifications
You must be signed in to change notification settings - Fork 8.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[profiles] What should I do to actually delete these profiles? #13451
Comments
Did you hit |
Yes. |
{
"$help": "https://aka.ms/terminal-documentation",
"$schema": "https://aka.ms/terminal-profiles-schema",
"actions":
[
{
"command":
{
"action": "copy",
"singleLine": false
},
"keys": "ctrl+c"
},
{
"command": "paste",
"keys": "ctrl+v"
},
{
"command": "find",
"keys": "ctrl+shift+f"
},
{
"command":
{
"action": "splitPane",
"split": "auto",
"splitMode": "duplicate"
},
"keys": "alt+shift+d"
}
],
"copyFormatting": "none",
"copyOnSelect": false,
"defaultProfile": "{f33743eb-6e3b-4d53-8a1e-59a6a567b47c}",
"profiles":
{
"defaults":
{
"colorScheme": "MaterialOcean",
"cursorShape": "filledBox",
"font":
{
"face": "\u66f4\u7eb1\u9ed1\u4f53 Mono SC Nerd"
}
},
"list":
[
{
"colorScheme": "MaterialOcean",
"commandline": "",
"guid": "{f33743eb-6e3b-4d53-8a1e-59a6a567b47c}",
"hidden": false,
"icon": "D:\\fish.gif",
"name": "fish",
"startingDirectory": "%USERPROFILE%"
},
{
"colorScheme": "MaterialOcean",
"guid": "{aab79973-318f-43b6-a9bc-b4096493753f}",
"hidden": false,
"name": "Nushell",
"source": "nu"
},
{
"colorScheme": "MaterialOcean",
"guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
"hidden": false,
"name": "Windows PowerShell"
},
{
"colorScheme": "MaterialOcean",
"commandline": "",
"guid": "{02d5718b-5b02-4dda-9430-87d047c90533}",
"hidden": false,
"icon": "ms-appx:///ProfileIcons/{b453ae62-4e3d-5e58-b989-0a998ec441b8}.png",
"name": ""
},
{
"colorScheme": "MaterialOcean",
"commandline": "",
"guid": "{49f5f541-e2cf-4c7c-8ca8-9dfa0b2717fb}",
"icon": "ms-appx:///ProfileIcons/{b453ae62-4e3d-5e58-b989-0a998ec441b8}.png",
"name": ""
}
]
},
"schemes": [],
"tabSwitcherMode": "mru"
} |
I withheld some information on privacy reasons. |
Hmm. Looks like deleted profiles still show up in the duplicate profile dropdown. That's wild, and sure shouldn't be happening. Yep, the |
Ah, so deleted profiles are intended to show up in that dropdown. Until we have support for "template" profiles (like, "Terminal detected these -- do you want one of them?"), we have to store them there. Otherwise, there is no way to get them back, for users who have changed their minds. |
That's fine by me. I'm gonna call this "by design" then. Maybe not the most clear, but not a bug. If anyone's got good recommendations on ways to make this clearer, feel free to add it in the comments below. |
Windows Terminal version
1.13.11431.0
Windows build number
10.0.19043.0
Other Software
No response
Steps to reproduce
After I delete these profiles, and reopen the
wt
, and going to add a new profile, I find they are still existing.Expected Behavior
These profiles are actually deleted.
Actual Behavior
These profiles are still existing.
The text was updated successfully, but these errors were encountered: