From 4feef218f1e85ef0b0e08c6557412400908c9887 Mon Sep 17 00:00:00 2001 From: Matteo Cantarelli Date: Sun, 18 Feb 2018 01:40:50 +0000 Subject: [PATCH] Fix permissions of injected configuration --- utilities/docker/geppetto/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/utilities/docker/geppetto/Dockerfile b/utilities/docker/geppetto/Dockerfile index 3ff995ec..65df7149 100644 --- a/utilities/docker/geppetto/Dockerfile +++ b/utilities/docker/geppetto/Dockerfile @@ -40,6 +40,7 @@ RUN mkdir -p /home/developer/virgo RUN curl -L 'http://www.eclipse.org/downloads/download.php?file=/virgo/release/VP/3.6.4.RELEASE/virgo-tomcat-server-3.6.4.RELEASE.zip&mirror_id=580&r=1' | bsdtar --strip-components 1 -C /home/developer/virgo -xzf - RUN chmod u+x /home/developer/virgo/bin/*.sh ADD dmk.sh /home/developer/virgo/bin/ +RUN chmod -R 777 /home/developer/virgo/bin/dmk.sh ENV SERVER_HOME /home/developer/virgo #VOLUME /home/developer/virgo #END VIRGO INSTALL