build.sh
changeset 0 2a447b707b65
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build.sh	Wed Sep 04 16:52:49 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/server.dockerfile -t reg.kevin.srv.iri-research.org/iri/ldt_server:latest .
+
+podman push reg.kevin.srv.iri-research.org/iri/ldt_server:latest
+
+popd