Get current profile name for custom extensionsย #177463
Description
When making custom extensions, we should be able to get the profile name that is currently in use in the window, as well as other details about it, such as the id.
It would help for managing external storage and interactions when making custom extensions, as you could do things differently based on profile.
As for the reason specific why I want that:
We have a custom extension I make for the office. It's an internal and really specific one for our company's office setup, so it's not public.
But it interacts with vscode via the command line.
But now, we need to pass in the --profile "Profile Name"
argument to the cli, for better usability. However, I cannot find any way to get which profile is currently being used in the window the commands are being run in.
The only use case I can find of any sort of way of getting the profile name is that there is an undocumented variable called profileName
, use in the window.title ${profileName}
, however, I do not know how to resolve this for use internally in the extension.
Also, as a second thing, it would be useful if we could specify something like --profile "*"
to specific activating on all profiles, but that's not necessary.
Activity