From 3addec0a27a04af5cf990fbe8c0870b75c2c43c9 Mon Sep 17 00:00:00 2001
From: Alfredo Oliviero <alfredo.oliviero@isti.cnr.it>
Date: Thu, 23 May 2024 17:17:37 +0200
Subject: [PATCH] script to pull, start and stop docker image

---
 run_docker/docker.conf     |  9 +++++++++
 run_docker/pull_docker.sh  |  9 +++++++++
 run_docker/start_docker.sh |  9 +++++++++
 run_docker/stop_docker.sh  | 10 ++++++++++
 4 files changed, 37 insertions(+)
 create mode 100644 run_docker/docker.conf
 create mode 100755 run_docker/pull_docker.sh
 create mode 100755 run_docker/start_docker.sh
 create mode 100755 run_docker/stop_docker.sh

diff --git a/run_docker/docker.conf b/run_docker/docker.conf
new file mode 100644
index 0000000..4785c28
--- /dev/null
+++ b/run_docker/docker.conf
@@ -0,0 +1,9 @@
+BUILD_VERSION=0.0.1-SNAPSHOT
+JAVA_VERSION=11
+SMARTGEARS_VERSION=4.0.1-SNAPSHOT
+IMAGE_VERSION=${BUILD_VERSION}-java${JAVA_VERSION}-smartgears${SMARTGEARS_VERSION}
+NAME=helloworld
+
+BUILD_NAME=$NAME:$IMAGE_VERSION
+HARBOR_IMAGE_NAME=hub.dev.d4science.org/gcube/$BUILD_NAME
+DOCKER_IMAGE=$HARBOR_IMAGE_NAME
diff --git a/run_docker/pull_docker.sh b/run_docker/pull_docker.sh
new file mode 100755
index 0000000..13a8026
--- /dev/null
+++ b/run_docker/pull_docker.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+set -a
+. ./docker.conf
+docker pull $DOCKER_IMAGE
+
+echo "Docker image $DOCKER_IMAGE"
+
+set +a
diff --git a/run_docker/start_docker.sh b/run_docker/start_docker.sh
new file mode 100755
index 0000000..842851d
--- /dev/null
+++ b/run_docker/start_docker.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+set -a
+. ./docker.conf
+echo "Docker image $DOCKER_IMAGE"
+docker pull $DOCKER_IMAGE
+docker run -d -p 9991:8080 --name $NAME $DOCKER_IMAGE
+
+set +a
diff --git a/run_docker/stop_docker.sh b/run_docker/stop_docker.sh
new file mode 100755
index 0000000..367aadc
--- /dev/null
+++ b/run_docker/stop_docker.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -a
+. ./docker.conf
+
+docker stop $NAME
+docker rm $NAME
+
+set +a
+