diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md index c8224f9..0d119f0 100644 --- a/DEVELOPMENT.md +++ b/DEVELOPMENT.md @@ -41,6 +41,18 @@ You can also build the package with ```console pip install . ``` + + +## Docker + +You can also always build and run the server with + +```console + sh ./dev/dockerrun.sh +``` + +This will use the directory `testdata`. + ## Further help Feel free to [ask](https://github.com/krateng/maloja/discussions) if you need some help! diff --git a/dev/dockertest.sh b/dev/dockerrun.sh similarity index 100% rename from dev/dockertest.sh rename to dev/dockerrun.sh