Move Docker scripts (#138)

Just reorganizing
2026-04-29 16:07:57 +00:00 · 2020-07-16 07:46:03 +02:00
parent 03205eb601
commit 516ad523c1
10 changed files with 5 additions and 5 deletions
@@ -0,0 +1,9 @@
+#!/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 down --volumes --remove-orphans