build.sh
changeset 142 640fb0f13022
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build.sh	Wed Aug 14 22:08:14 2024 +0200
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+SCRIPTPATH="$( cd -- "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
+
+pushd $SCRIPTPATH
+
+podman login -u iri -p "${REGISTRY_PASSWORD}" reg.kevin.srv.iri-research.org
+
+podman build -f docker/server.dockerfile -t reg.kevin.srv.iri-research.org/iri/catedit_server:latest .
+
+podman push reg.kevin.srv.iri-research.org/iri/catedit_server:latest
+
+popd