`azureResourceGroups.selectedSubscriptions` is jarring
Describe the Issue
Don't write this stuff to user settings.
Steps to Reproduce
- use the Azure MCP server for the first time and select the subscriptions you want to use, I picked all because why not
- open user settings
- 🐛 lots of stuff written which is overwhelming
Expected Experience
These shouldn't be settings and instead be global state. Unless you really expect users to go in here and modify them. If so, you should support an undefined value which uses some defaults and only when the user wants to customize do you accept this big setting.
- Yes, we do expect users to modify them in settings.json; I do all the time.
- Global state will not work for this. We intentionally chose a VSCode setting so that other users of our auth package (e.g. Container Tools) could also benefit from the same subscription filtering--even if Azure Resources is not installed.
- Access to 100+ subscriptions is almost exclusively a Microsoft internal problem.
undefinedand[]are supported, and are equivalent to selecting all.
but isn't it odd that I didn't get option 4? Instead it wrote to user settings.
I don't think we have a check in the logic, to see if the user selected all subs--and if so, to write undefined. However, that would also blow away their filters for any other tenants they aren't currently signed in to, which would be problematic.
I agree that this experience is quite jarring. Is there some better way to do this? For example, write to storage, and then build an experience (maybe quick pick) so use can modify the value? Or something else?
cc @charris-msft
@isidorn We'd lose the ability to support the auth package respecting the same filters