From 36b47368a3001fc7520225778eaadeebff504941 Mon Sep 17 00:00:00 2001
From: krateng <git.noreply@krateng.ch>
Date: Thu, 10 Mar 2022 05:06:31 +0100
Subject: [PATCH] Added Docker to dev instructions

---
 DEVELOPMENT.md                      | 12 ++++++++++++
 dev/{dockertest.sh => dockerrun.sh} |  0
 2 files changed, 12 insertions(+)
 rename dev/{dockertest.sh => dockerrun.sh} (100%)

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