X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=clean%2F.local%2Fbin%2Finstall_clean.sh;h=e9be47eb0659e1d8c82ce9a7e063cc3d790fbdd7;hb=HEAD;hp=544cb16030df7bea520252138b7eb0c55f0a0fe0;hpb=ade2c64f405d590a5bbb34d03d5d39ee6de70c5e;p=dotfiles.git

diff --git a/clean/.local/bin/install_clean.sh b/clean/.local/bin/install_clean.sh
index 544cb16..e9be47e 100755
--- a/clean/.local/bin/install_clean.sh
+++ b/clean/.local/bin/install_clean.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -ex
+set -e
 
 if [ $# -ne 1 ]
 then
@@ -8,7 +8,7 @@ then
 fi
 
 DISTRO="https://ftp.cs.ru.nl/Clean/builds/linux-$1/clean-bundle-complete-linux-$1-latest.tgz"
-TAGS="https://gitlab.science.ru.nl/cloogle/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
+TAGS="https://gitlab.com/cloogle/periphery/cloogle-tags/-/jobs/artifacts/master/raw/cloogletags?job=build"
 CLMMAN="https://gitlab.science.ru.nl/clean-and-itasks/clm/raw/master/clm.1"
 CP2CG="https://gitlab.science.ru.nl/clean-and-itasks/cleanprof2callgrind/-/jobs/artifacts/master/raw/cleanprof2callgrind?job=test"
 CLEAN_HOME="/opt/clean-$1"
@@ -17,7 +17,7 @@ echo "Cleaning up the old distro"
 rm -rf "$CLEAN_HOME"/*
 mkdir -p "$CLEAN_HOME"
 echo "Downloading clean"
-curl -sSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
+curl -ksSL "$DISTRO" | tar -C "$CLEAN_HOME" --strip-components=1 -xz
 echo "Installing manpages"
 mkdir -p ~/.local/man/man1
 curl -sSLo ~/.local/man/man1/clm.1 "$CLMMAN"