# This is the Dockerfile to create a "devcontainer". 
# This is a way to quickly create a development environment,
# that can be used with GitHub workspaces.

# See here for image contents: https://github.com/microsoft/vscode-dev-containers/tree/v0.162.0/containers/codespaces-linux/.devcontainer/base.Dockerfile
FROM mcr.microsoft.com/vscode/devcontainers/universal:1-focal
