Skip to content
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

settings: resolve configuration settings #439

Open
GitMensch opened this issue Mar 8, 2024 · 2 comments
Open

settings: resolve configuration settings #439

GitMensch opened this issue Mar 8, 2024 · 2 comments
Milestone

Comments

@GitMensch
Copy link

Is your feature request related to a problem? Please describe.
In my setup there are multiple environments using the same code-workspace (= checked into vcs) and the parts that are different per machine are setup for example in a configuration settings.my.folder (from the machine/user configuration) which I can then use everywhere in tasks by ${config:my.folder} or things like ${env:HOME} "out of the box"; but for extensions this has to be manually resolved as vscode still does not do it directly when calling the api function (microsoft/vscode#2809).

Describe the solution you'd like
Manually search for at least ${config: in at least the file/path related settings like coverage-gutters.coverageBaseDir and resolve it before using the setting, for many people ${env: will be important.

Describe alternatives you've considered
Check out, manually adjust the configuration per local environment, take care to not check in :-(

Additional context
There is a list of official namespaces and variables available, this shows things like ${env:..}, ${workspaceFolder:..}, ${config:..}, ${userhome}.

@ryanluker
Copy link
Owner

@GitMensch Thanks for submitting an issue!
Definitely seems like a useful addition, and the codebase is pretty setup for doing these changes when the config is initialized. https://github.com/ryanluker/vscode-coverage-gutters/blob/master/src/extension/config.ts

Not sure exactly when someone will get to working on this but I added it into the next milestone 👍🏻.

@ryanluker ryanluker added this to the 2.12.0 milestone Mar 10, 2024
@ryanluker ryanluker modified the milestones: 2.12.0, 2.13.0 Oct 19, 2024
@GitMensch
Copy link
Author

Yay, next milestone so possibly comes soon along with the coverage in explorer - possibly :-)

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

No branches or pull requests

2 participants