-
Notifications
You must be signed in to change notification settings - Fork 84
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
Suggestion to add devcontainer configuration #442
Comments
Many thanks, this sounds good, please feel encouraged to take it on. @eggplants any input/advice? |
I created the draft PR #443; consider trying it (e.g., in Codespaces or locally with vscode) to provide some feedback and whether all usual features for development are present. Some comments:
|
Many thanks.
I'm going to need full, detailed instructions on how to test this, please.
I haven't used these tools before, so please walk me through how to do it.
…On Tue, 2 May 2023, 23:11 Henrik Sloot, ***@***.***> wrote:
I created the draft PR #443
<#443>; consider trying it
(e.g., in Codespaces or locally with vscode) to provide some feedback and
whether all usual features for development are present.
Some comments:
- I extended the README's testing section as it requires copying some
files to /usr/local/bin (I used the test workflow as a template).
- I also added a note about using the devcontainer to the README.
- The cruft directory tests fail since ~/Desktop/tmp does not exist in
this devcontainer. I used $(mktemp -d) instead.
—
Reply to this email directly, view it on GitHub
<#442 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAQ7CYH3SVZP5UXBOUXF5TTXEGBAPANCNFSM6AAAAAAXTEZQMU>
.
You are receiving this because you commented.Message ID:
***@***.***>
|
There are three options to use this:
The point-of-entry should be my feature branch https://github.com/hsloot/latexindent.pl/tree/add-devcontainer (meaning you start the Codespace from this branch on my fork or the vscode development container by checking out this branch); see screenshot below. If you have not used vscode: it has an integrated terminal that you may use to test all your usual development workflows. |
I hope this helps. It would be great if you could try some of your usual development workflows (testing, local building, documentation, ...) to see if the Dockerfile must be extended such that the image contains all the required features. There is also the option to include further vscode extensions, but that is probably not necessary here ... |
Thanks for this, I've finally been able to look at it, apologies for the delay. what I've done to test it
as follows:
my feedbackI think this looks great, many thanks! I think this can be merged, and doesn't needed any more documentation than what you have done (thanks!), because (if I've understood the intention of this) this will be for a specific set of developers and it's not for users. So, it looks ready to me, but what do you think? |
Great! So, I think one should be able to make commits and push when the codespace is started from a personal fork or if one needs write permissions to the directory it is linked to; see https://docs.github.com/en/codespaces/developing-in-codespaces/using-source-control-in-your-codespace#about-automatic-forking. I also think you can merge it. However, you should keep in mind two hidden dependencies:
However, I do think these are minor issues (which, of course, could be fixed if you notice that something is broken). Also, both are probably not that difficult to do, but since I am not that familiar with Docker myself, I am not too sure about how to do it. I will change the status so that you can merge it. |
Great, many thanks! This is implemented as of 6288f5b Thanks so much :) |
Summary
The project might benefit from providing Github's Codespaces or vscode's devcontainers configurations to allow contributors to use a Docker-based dev environment. I have a branch with a draft version, but it would require some polishing and considerations; see https://github.com/hsloot/latexindent.pl/tree/add-devcontainer. In my view, the main benefit would be that it makes it easy for inexperienced contributors (latex users but are inexperienced with Perl) to test small changes before creating PRs or debug their code when PR checks fail.
Considerations
TODOs
The text was updated successfully, but these errors were encountered: