always remove tmpdir in (#530)

This change ensures that the temporary directory created by `mkdir --directory` is always removed when `` exits, whether or not the script succeeded.

It also modifies the `git clone` command to use the `file://` protocol instead of HTTPS, to speed up the download.

Reviewed-on: #530
Reviewed-by: Shahan Nedadahandeh <>
Co-authored-by: Max Erenberg <>
Co-committed-by: Max Erenberg <>
Max Erenberg 4 months ago committed by Shahan Nedadahandeh
parent 3fe5696dd1
commit 7e5466e2bc
  1. 6

@ -4,12 +4,14 @@ set -ex
ulimit -u 512
DIR=$(mktemp --directory)
trap "rm -rf $DIR" EXIT
# set USE_LDAP to true to generate member list using LDAP database
export USE_LDAP=true
pushd $DIR
git clone --depth=1
git clone file:///srv/git/www/www-new.git --depth=1
cd www-new
@ -26,5 +28,3 @@ rm -rf /srv/www-csc/*
mv out/* /srv/www-csc/
rm -rf $DIR