From d061e14b975a6b45b4a9f4d1b0f9ea386cd00403 Mon Sep 17 00:00:00 2001
From: Kris De Volder <kdevolder@pivotal.io>
Date: Mon, 29 Jul 2019 16:09:30 -0700
Subject: [PATCH] Add a script to publish theia-boot docker image to docker hub

---
 theia-extensions/k8s-app/Dockerfile        |  2 +-
 theia-extensions/k8s-app/docker-publish.sh | 13 +++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)
 create mode 100755 theia-extensions/k8s-app/docker-publish.sh

diff --git a/theia-extensions/k8s-app/Dockerfile b/theia-extensions/k8s-app/Dockerfile
index da9bac814..c4cb0b7b6 100644
--- a/theia-extensions/k8s-app/Dockerfile
+++ b/theia-extensions/k8s-app/Dockerfile
@@ -5,7 +5,7 @@ RUN apt-get update && apt-get install -y \
   gettext-base \
   git \
   jq \
-  openjdk-8-jdk=8u162-b12-1 openjdk-8-jre=8u162-b12-1 openjdk-8-jdk-headless=8u162-b12-1 openjdk-8-jre-headless=8u162-b12-1 openjdk-8-source=8u162-b12-1 \
+  openjdk-8-jdk openjdk-8-jre openjdk-8-jdk-headless openjdk-8-jre-headless openjdk-8-source=8u162-b12-1 \
   curl
 
 RUN curl -sL https://deb.nodesource.com/setup_8.x | bash - \
diff --git a/theia-extensions/k8s-app/docker-publish.sh b/theia-extensions/k8s-app/docker-publish.sh
new file mode 100755
index 000000000..7a582746f
--- /dev/null
+++ b/theia-extensions/k8s-app/docker-publish.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Script to build and publish theia-spring-boot docker image
+# to docker-hub.
+
+# The published images makes it slightly easier to run theia+boot support
+# deployments in different contexts.
+
+set -e 
+
+docker_user=kdvolder
+docker build -t ${docker_user}/theia-spring-boot .
+docker push ${docker_user}/theia-spring-boot
\ No newline at end of file