feat: add devcontainer configuration #443
Conversation
|
Thank you for your contribution! Please can you change this pull request so that it goes to the |
The directory `~/Desktop` requires the existence of a non-root user.
| ENV LANG=en_US.UTF-8 | ||
| RUN locale-gen en_US.UTF-8 | ||
|
|
||
| RUN cpanm YAML::Tiny && \ |
There was a problem hiding this comment.
This probably could be changed to use the helper script; when writing this, I had some issues with the interactive mode, but I think this part could be replaced by code similar to the other Dockerfile.
| && apt-get clean \ | ||
| && rm -rf /var/lib/apt/lists/* | ||
|
|
||
| ENV LC_ALL=en_US.UTF-8 |
There was a problem hiding this comment.
I had problems using cpanm since it reported errors due to unset locales and had to include these settings. However, your other Dockerfile does not set these either and seems to work. I am not expert enough to judge whether this here is unnecessary or whether similar settings should be set in the other Dockerfile.
| latexindent.pl -s cruft-directory1 -c ~/Desktop/tmp/ -w -g=one.log | ||
| latexindent.pl -s cruft-directory1 -c ~/Desktop/tmp/ -w -g=two.log | ||
| latexindent.pl -s cruft-directory1 -c ~/Desktop/tmp/ -w -l=more-than-one-back-up.yaml -g=three.log | ||
| latexindent.pl -s cruft-directory1 -c $(mktemp -d) -w -g=one.log |
There was a problem hiding this comment.
The default container has no user besides root; consequently, ~/Desktop does not exist.
| cmake \ | ||
| git \ | ||
| wget \ | ||
| locales \ |
There was a problem hiding this comment.
I had to install the packages locals and locales-all; see other comments.
what is this pull request about?
Add a devcontainer configuration that allows using Github's Codespaces feature or using devcontainers with vscode.
does this relate to an existing issue?
See #442
does this change any existing behavior?
no
what does this add?