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