Allow the user to provide an alternative path to devcontainer.json
#49182
szabgab
started this conversation in
Feature Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Body
What are you proposing?
Currently
zedlooks for thedevcontainer.jsonfile in<ProjectRoot>/.devcontainer/devcontainer.json. It would be nice if the user could provide and alternative path either using a command line optionzed --devcontainer ~/my-devcontainer.jsonor using an environment variableDEVCONTAINER=~/my-devcontainer.jsonoutside of the project folder.Why does this matter?
I organize online events where we pick some arbitrary open source project and try to contribute to it something relatively simple. For example adding a test, configuring some meta-data, etc. Most of these projects don't have a
devcontainer.jsonand we don't want to add one. We would also prefer not to run the code on the local machine to reduce our risk.I tried to run
zedinside a Docker container, but that does not seem to work #49131. Using devcontainer would be excellent, but it would be much better if we did not have to copy thedevcontainer.jsonfile to every project. That would also help to avoid accidentally adding it to git.See dev-containers.md
Beta Was this translation helpful? Give feedback.
All reactions