diff options
| -rw-r--r-- | activiti-extension/src/main/docker/activiti-docker-build_image.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/activiti-extension/src/main/docker/activiti-docker-build_image.sh b/activiti-extension/src/main/docker/activiti-docker-build_image.sh index b2abc7d..1f60dd3 100644 --- a/activiti-extension/src/main/docker/activiti-docker-build_image.sh +++ b/activiti-extension/src/main/docker/activiti-docker-build_image.sh @@ -53,9 +53,13 @@ tar -zxf apache-tomcat-8.5.20.tar.gz mv apache-tomcat-8.5.20 apache-tomcat echo "download Activiti 5.22.0" -curl "${CURLPROXY}" -m 300 -O -J -L "https://github.com/Activiti/Activiti/releases/download/activiti-5.22.0/activiti-5.22.0.zip" +wget "https://github.com/Activiti/Activiti/releases/download/activiti-5.22.0/activiti-5.22.0.zip" +#curl "${CURLPROXY}" -m 600 -O -J -L "https://github.com/Activiti/Activiti/releases/download/activiti-5.22.0/activiti-5.22.0.zip" rm -Rf ./activiti-5.22.0/ -unzip -o -q activiti-5.22.0.zip +sudo apt-get install p7zip-full +7za x activiti-5.22.0.zip + +#unzip -o -q activiti-5.22.0.zip #unzip -o -q activiti-5.22.0.zip "activiti-5.22.0/wars/activiti-rest.war" -d ./ mv activiti-5.22.0/wars/activiti-rest.war . |