PyVRP devcontainer #580
Draft
PyVRP devcontainer #580
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
N-Wouda
reviewed
May 3, 2024
This comment was marked as resolved.
This comment was marked as resolved.
|
I haven't tried the whole codespaces thing before but I can imagine it's pretty nice for new users that do not want to go through the hassle of setting up a local installation of everything. |
I don't understand why my custom config doesn't work
leonlan
commented
May 23, 2024
.devcontainer/setup.sh
Outdated
|
|
||
| # Don't ask for superuser acces when debugging extensions | ||
| # See https://github.com/benibenj/vscode-pythonCpp/issues/18 | ||
| # echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope # errors |
There was a problem hiding this comment.
This no longer works - is this due to the new jammy image?
tee: /proc/sys/kernel/yama/ptrace_scope: Read-only file system
0
The solution on SE is to run docker with --privileged but I don't know (yet) how to set this.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a
devcontainerfolder that can be used to conveniently setup a functional development environment with Github Codespaces (and other containers). Part of #384.Notes
tasks.jsonandlaunch.jsonin devcontainer