Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add a script to publish theia-boot docker image to docker hub

Browse Source
This commit is contained in:
Kris De Volder
2019-07-29 16:09:30 -07:00
parent 014c69ac15
commit d061e14b97
2 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
theia-extensions/k8s-app/Dockerfile
View File

@@ -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 - \

13
theia-extensions/k8s-app/docker-publish.sh Executable file
View File

@@ -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