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

Refactor devcontainer 📦 #329

Merged
merged 10 commits into from
Jun 6, 2024
Merged

Refactor devcontainer 📦 #329

merged 10 commits into from
Jun 6, 2024

Conversation

sduquemesa
Copy link
Contributor

@sduquemesa sduquemesa commented Jan 26, 2024

Context:
Doing some housekeeping here on the devcontainer side.

Description of the Change:

  • The previous build script was a bit cumbersome, here it has been simplified.
  • Julia installation is now manually managed with juliacall, meaning there is no need for passing the optional JULIA_INSTALL arg to docker build.
  • Only a single Dockerfile to create the container. This Dockerfile can also be used to create a completely isolated environment using docker (useful for testing, running simulations, etc.).
  • Ensures changes on the code are reflected on the interpreter as they happen. To do so the workspace folder points to /mrmustard where the source code resides.
  • Installs the jupyter extension automatically.
  • LOCAL DEV CONTAINERS ONLY: Users can now have the MRMUSTARD_PYTHON_VERSION env-var set in their local environment to dictate which python version the dev container will be built with. When unset, the default value is 3.10. I'd suggest doing this in your bashrc/zshrc/whatever-rc to ensure it's always set and therefore picked up by VS Code

Benefits:

  • Click and go 🚀
  • Seamless julia installation
  • (local-only) customizable python version

Possible Drawbacks:
None. I tried getting the MRMUSTARD_PYTHON_VERSION supported in GitHub Codespaces, but it doesn't seem to take any custom build args 😢

@sduquemesa sduquemesa added the no changelog Pull request does not require a CHANGELOG entry label Jan 26, 2024
env.Dockerfile Outdated Show resolved Hide resolved
@sduquemesa
Copy link
Contributor Author

@ziofil, I've readded oh-my-zsh to the container as default terminal

Copy link

codecov bot commented May 29, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.62%. Comparing base (a638bfb) to head (6460987).

Additional details and impacted files
@@           Coverage Diff            @@
##           develop     #329   +/-   ##
========================================
  Coverage    87.62%   87.62%           
========================================
  Files           81       81           
  Lines         6158     6158           
========================================
  Hits          5396     5396           
  Misses         762      762           

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a638bfb...6460987. Read the comment docs.

Copy link
Collaborator

@ziofil ziofil left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@timmysilv timmysilv merged commit 6033b73 into develop Jun 6, 2024
6 checks passed
@timmysilv timmysilv deleted the refactor-devcontainer branch June 6, 2024 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog Pull request does not require a CHANGELOG entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants