Add web server

2019-11-05 21:37:09 +03:00
parent 73ed1eca06
commit 72fe4e5569
6 changed files with 52 additions and 2 deletions
--- a/tools/server
+++ b/tools/server
@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+
+set -eu
+
+TTY=
+
+if [ -t 1 ] ; then
+	TTY=-t
+fi
+
+docker run -i $TTY \
+	-u "$(id -u):$(id -g)" \
+	-v "$PWD:/app" \
+	-p "3000:3000" \
+	-w "/app" \
+	dayoff-crystal crystal "$@"