From 5500c9c66786557ab782ea81b51b82b2f5982876 Mon Sep 17 00:00:00 2001
From: Alex Palaistras <alex@deuill.org>
Date: Fri, 6 Sep 2019 22:51:45 +0100
Subject: [PATCH] play: Add basic Dockerfile for isolated Playground

---
 play/Dockerfile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 play/Dockerfile

diff --git a/play/Dockerfile b/play/Dockerfile
new file mode 100644
index 0000000..f013797
--- /dev/null
+++ b/play/Dockerfile
@@ -0,0 +1,17 @@
+FROM golang:1.13 AS builder
+WORKDIR /mnt
+
+COPY play/go.mod play/go.sum play/play.go /mnt/
+RUN go build -o play play.go
+
+FROM debian:stable-slim
+WORKDIR /play
+
+COPY --from=builder /mnt/play .
+COPY grawkit .
+COPY play/static static
+
+USER nobody
+EXPOSE 8080
+
+CMD ["/play/play", "-script-path", "grawkit", "-listen-address", ":8080"]