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

Docker-based development #9

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

AkbarTheGreat
Copy link
Contributor

A first pass of some containerized tools I did a while back that might benefit someone else.

Restructured the Dockerfile to allow for linters and the like to run in a sub-container and wrote a little script so that someone can easily run ruff on their code from a dockerized version of Python.

If I have some time, I might extend this to a dev container implementation for folks that use VSCode, but we'll see.

Move update-pipenv-lock to a dev/ directory, to start a trend of keeping scripts there.

Modify the Dockerfile such that it can have a dev instance and a production instance.

Remove cargo and rust, as ruff no longer needs them (This saves about 600 MB off of the size of the container)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant