My default image for devcontainer, to be used in VS Code and GitHub Codespaces.
Image identifier: ghcr.io/aureliojargas/devcontainer:latest
This is Ubuntu 22.04 with git
plus dev tools for Shell (shfmt
, shellcheck
) and Python (black
, pylint
).
There's also some extra tools that I cannot work without:
ed
to create/edit git commit messages (because)fish
for a nice interactive shell experiencegit-revise
to change commit history effortlesslytig
to view commit history easilyvim
to the rescue when there's no VS Code
Details in .devcontainer/Dockerfile
Just add the following line to your .devcontainer/devcontainer.json
file:
"image": "ghcr.io/aureliojargas/devcontainer",
Examples:
-
https://github.com/aureliojargas/replace/blob/main/.devcontainer/devcontainer.json
-
https://github.com/aureliojargas/sedsed/blob/main/.devcontainer/devcontainer.json
-
https://github.com/aureliojargas/clitest/blob/main/.devcontainer/devcontainer.json
-
https://github.com/aureliojargas/sedparse/blob/main/.devcontainer/devcontainer.json
-
https://github.com/aureliojargas/txt2regex/blob/main/.devcontainer/devcontainer.json
My dotfiles are inserted into the running container $HOME
during the init phase, by automatically running the setup script. Note that this repository must be set in GitHub→Settings→Codespaces→Dotfiles.
My VS Code settings and extensions are synchronized into the web VS Code instance in Codespaces by using the official Settings Sync feature.
Every merge on the main
branch will trigger a build and push for the Docker image into the GitHub Container Registry.
The image will always be tagged only with latest
to keep everything simple.
Details in .github/workflows/publish.yaml.