Move Docker scripts (#138)

Just reorganizing
2026-06-14 16:51:03 +00:00 · 2020-07-16 07:46:03 +02:00
parent e40bef8641
commit 537a311587
10 changed files with 5 additions and 5 deletions
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -e
+
+cd "$(cd "$(dirname "$0")" && git rev-parse --show-toplevel)"
+# shellcheck source=dc.sh
+source docker/scripts/dc.sh
+
+dc build
+dc up -d