# HG changeset patch
# User Tom Gottfried <tom@intevation.de>
# Date 1533135211 -7200
# Node ID 0d2bdec1e637d70ca87500005c177feebf9b3e69
# Parent  e964c617265e07dd85a023313e8c99470abafc8b
Hint how to rebuild gemma inside Docker container

diff -r e964c617265e -r 0d2bdec1e637 Dockerfile
--- a/Dockerfile	Wed Aug 01 16:27:26 2018 +0200
+++ b/Dockerfile	Wed Aug 01 16:53:31 2018 +0200
@@ -31,3 +31,7 @@
 # docker build -t gemma_backend .
 # docker run --name gemma_backend -v $PWD:/opt/gemma -d -p 8200:8000 \
 #            --link your_gemma_db:gemma_db gemma_backend
+#
+# To rebuild inside the container:
+# ln -sf /opt/gemma/cmd/gemma/gemma /opt/bin/gemma
+# make gemma