-
Notifications
You must be signed in to change notification settings - Fork 8.4k
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
I can't delete default profiles from settings file #5055
Comments
@safern Which file are you editing? |
I'm experiencing the same problem -- I am editing the profiles.json file and removing profiles that I don't use, but they come back immediately after closing and restarting the program. My other settings changes in that file appear to be sticking (changing the default profile, and re-ordering the profiles). |
I'm editing |
/dup #3121 this might be an enlightening read 😄 sorry, we'll work to make sure our documentation is smarter here |
Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report! |
I'm sorry, I meant /dup #3231 |
Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report! |
@DHowett-MSFT It's problematic when bug reports are closed as duplicates of an already closed bug report I think this automatic profile generation would be a lot friendlier if the generated profile included a commentthat says something like "This profile generated by ..., to prevent it from being generated again add ... to disabledProfileSources" |
To be fair, this was resolved as a duplicate in March last year, and then the linked thread was locked in the following June, so that checks out to me. I don't disagree that adding the comment might be helpful - though with the Settings UI getting shipped soontm, it's probably easiest to just slap something in the UI, rather than in the file itself 🤔 |
My mistake, I didn't check the dates properly 👎 |
Environment
Windows Terminal version (if applicable):
Version: 0.10.781.0
Steps to reproduce
Open settings file while the terminal is open.
Remove the last settings profile.
Save the file while terminal is open.
The deleted profile will be added back.
Open settings file.
Remove the last settings profile.
Close terminal.
Save settings file.
Open terminal.
The deleted profile will be added back.
Expected behavior
The settings file doesn't bring back profiles I deleted.
Actual behavior
The profiles I remove they come back when I open the terminal or if I save the file while the terminal is open.
The text was updated successfully, but these errors were encountered: