8000 GitHub - aureliojargas/devcontainer: My default image for devcontainer in VS Code and GitHub Codespaces
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

aureliojargas/devcontainer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 

Repository files navigation

aureliojargas/devcontainer

My default image for devcontainer, to be used in VS Code and GitHub Codespaces.

Image identifier: ghcr.io/aureliojargas/devcontainer:latest

The Docker image

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 experience
  • git-revise to change commit history effortlessly
  • tig to view commit history easily
  • vim to the rescue when there's no VS Code

Details in .devcontainer/Dockerfile

How to use it

Just add the following line to your .devcontainer/devcontainer.json file:

"image": "ghcr.io/aureliojargas/devcontainer",

Examples:

Personalization

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.

Automatic publishing

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.

References

About

My default image for devcontainer in VS Code and GitHub Codespaces

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 
0