build_docker_image.sh
changeset 37 fd09116d3537
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build_docker_image.sh	Sat Sep 04 01:35:11 2021 +0200
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+set -e
+
+OWNDIRBASENAME=$(basename $(cd $(dirname "${BASH_SOURCE[0]}") && pwd))
+
+echo "Building docker image"
+docker build \
+    --build-arg UID=$(id -u) \
+    --build-arg GID=$(id -g) \
+    --build-arg OWNDIRBASENAME="$OWNDIRBASENAME" \
+    -t beremiz_public_builder .
+