Oliver f96055a33f Refactor docker image for devcontainer (#6029) ... * Make base image configurable * Refactor dockerfile - Place extra packages into extra shell script - Add pre-build stage where packages are installed, and then cache removed - Run same script in dev target, but do not remove * Run docker workflow whenever package requirements change * Replace devcontainer dockerfile * Install base packages in devcontainer * --no-cache-dir		2023-12-05 07:05:48 +11:00
..
devcontainer.json	Refactor docker image for devcontainer (#6029)	2023-12-05 07:05:48 +11:00
postCreateCommand.sh	Refactor docker image for devcontainer (#6029)	2023-12-05 07:05:48 +11:00