Skip to content

Get current profile name for custom extensionsย #177463

Closed as not planned
Closed as not planned
@tech-meppem

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

Labels

*duplicateIssue identified as a duplicate of another issue(s)apifeature-requestRequest for new features or functionalityuser-profilesUser profile management

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions