From e290d433a110d2ed2a7f0446b09057ebf0fadf1c Mon Sep 17 00:00:00 2001
From: Christian Pointner <equinox@spreadspace.org>
Date: Wed, 25 Jul 2018 14:18:22 +0200
Subject: added simple build script


diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..35da7a3
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,47 @@
+#!/bin/bash
+
+img_name="$1"
+shift
+build_dir="$1"
+shift
+
+function print_usage {
+  echo ""
+  echo "Usage: $0 <image-name> <build-dir> [ .. <additional args to docker build> ]"
+  echo ""
+  echo "  for example:"
+  echo "    $0 docker.helsinki.at/debian:stretch debian/stretch/ --no-cache"
+  echo "  will run:"
+  echo "    docker build -t docker.helsinki.at/debian:stretch --no-cache debian/stretch/"
+  echo ""
+}
+
+if [ -z "$img_name" ] || [ -z "$build_dir" ]; then
+  print_usage
+  exit 1
+fi
+
+if [ ! -d "$build_dir" ]; then
+  echo "Error: '$build_dir' is not a directory"
+  exit 1
+fi
+
+set -e
+
+BASE_D="${BASH_SOURCE%/*}"
+STAGING_D=$(mktemp -d -t rh-docker-build.XXXX)
+
+function cleanup {
+  rm -rf "$STAGING_D"
+}
+trap cleanup EXIT
+
+cp -r "$build_dir" "$STAGING_D"
+BUILD_D="$STAGING_D"/$(basename "$build_dir")
+cp -r "$BASE_D/common" "$BUILD_D/"
+
+
+if [ "$UID" -ne 0 ]; then
+  exec sudo docker build -t "$img_name" "$@" "$BUILD_D"
+fi
+exec docker build -t "$img_name" "$@" "$BUILD_D"
-- 
cgit v0.10.2