gabrieleara/dev_environment repository overview

⁠Docker Development Environments

A set of Docker environments with my typical development configurations.

For info about these containers refer to the original GitHub repo⁠.

⁠Brief Description

This repo contains some Docker environments that I typically use for development and day to day operations on projects and papers.

Each branch corresponds to a different image tag for the gabrieleara/dev_environment image on DockerHub⁠.

In each branch you will find a dedicated directory with:

• the Dockerfile used to build the image;
• the devcontainer.json that I typically use as base for VSCode Dev Containers⁠;
• other optional resources that depend on the environment in question (Makefiles, and other stuff).