Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

Development Infrastructure

The infrastructure contains the following:

Setup

  • Requires Docker

OIDC

  • Create oidc-user-config.json from oidc-user-config.json.template
    • File should not be tracked in Git
    • Fill in your login details like mail, name, password

Usage

Note: Commands are all executed inside a shell/CMD in the current folder. (Tip for windows users)

Use case What to do?
Starting the infrastructure docker compose up
Stopping (and removing) the infrastructure docker compose down
(Re)Building the infrastructure
e.g. after changes to the Dockerfiles
docker compose build --pull

See also docker compose --help

Additional notes

⚠ The containers don't automatically restart after a PC restart!

⚠ After a PC restart the infrastructure is still present but it's stopped.
In this case you have 2 options:

  • start the existing infrastructure again (docker compose up) or
  • do a clean start by first removing (docker compose down) and then starting the infrastructure