Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

README.md

Dev container config

This folder contains the configuration to work in a dev container; an isolated, reproducible development environment that runs inside a container, typically Docker.

The configuration skeleton is generated by the Guardian's devenv config tool.

Contents

README.md

Edit this file as you see fit. It is created on the first run of devenv init but it won't be overwritten by subsequent runs unless you delete it entirely.

devenv.yaml

The source-of-truth configuration for this project's dev container. Edit this file to add/remove devenv modules, or any other config settings. Then run:

devenv generate

to regenerate the shared devcontainer.json file.

shared/devcontainer.json

The main devcontainer configuration, committed to the repository and shared by all developers. It is generated from devenv.yaml.

Important

Do not edit this file directly! Instead, edit devenv.yaml and then run devenv generate.

user/devcontainer.json

A personal copy of the devcontainer config, git-ignored (see .gitignore). This file is intended for your own overrides: extra VS Code extensions or Intellij plugins, personal settings or tweaks that shouldn't affect other contributors. Modify this file freely without worrying about polluting shared config.

Important

But be aware that devenv generate will overwrite it!