Commit 91c6d95b authored by Camil Staps's avatar Camil Staps 🐧

Add unzip to installation scripts

parent 0598d645
Pipeline #16424 passed with stage
in 15 minutes and 14 seconds
...@@ -3,7 +3,7 @@ set -e ...@@ -3,7 +3,7 @@ set -e
install_clean.sh 'base lib-platform lib-tcpip' 2018-10-30 install_clean.sh 'base lib-platform lib-tcpip' 2018-10-30
PACKAGES="patch jq" PACKAGES="patch jq unzip"
apt-get update -qq apt-get update -qq
apt-get install -qq $PACKAGES --no-install-recommends apt-get install -qq $PACKAGES --no-install-recommends
......
...@@ -19,7 +19,7 @@ rsvg-convert -w 400 logo.svg > logo.png ...@@ -19,7 +19,7 @@ rsvg-convert -w 400 logo.svg > logo.png
convert -resize 200x logo.png logo.png convert -resize 200x logo.png logo.png
# Clean installation with indexed libraries, for /src and /doc # Clean installation with indexed libraries, for /src and /doc
apt-get install -qq subversion ca-certificates git jq apt-get install -qq subversion ca-certificates git jq unzip
mkdir -p /opt/clean mkdir -p /opt/clean
curl -Ls https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-base-linux-x64-latest.tgz\ curl -Ls https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-base-linux-x64-latest.tgz\
| tar xz -C /opt/clean --strip-components=1 | tar xz -C /opt/clean --strip-components=1
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment