add the possibility to quit rm_site

This commit is contained in:
rnsrk 2021-09-28 12:37:09 +02:00
parent aa6c71eb01
commit 6039cdf5e5
2 changed files with 16 additions and 3 deletions

View file

@ -647,11 +647,11 @@ while true; do
mkdir -p web/libraries
## get colorbox
wget https://github.com/jackmoore/colorbox/archive/refs/heads/master.zip -P web/libraries/
unzip web/libraries/master.zip -d web/libraries/
unzip web/libraries/master.zip -d web/libraries/ &> /dev/null
mv web/libraries/colorbox-master web/libraries/colorbox
## get mirador
wget http://wisskieu.nasarek.org/sites/default/files/assets/mirador.zip -P web/libraries/
unzip web/libraries/mirador.zip -d web/libraries/
unzip web/libraries/mirador.zip -d web/libraries/ &> /dev/null
break;;
[Nn]* )
echo