1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/docker-run.bash b/scripts/docker-run.bash
new file mode 100755
index 0000000..e7de1f4
--- /dev/null
+++ b/scripts/docker-run.bash
@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+repo="$(git rev-parse --show-toplevel)"
+
+docker=(docker)
+if [[ "$OSTYPE" != darwin* ]] && [[ "$EUID" != 0 ]]; then
+    docker=(sudo -E "${docker[@]}")
+fi
+
+it=()
+
+if [[ -t 0 ]]; then
+    it+=(-it)
+fi
+
+exec "${docker[@]}" run "${it[@]}" --rm -v "${repo}:/src"  \
+     --entrypoint=/src/scripts/docker-pid1.bash "$@"