From: Matthias Maier Date: Fri, 18 May 2018 12:48:50 +0000 (-0500) Subject: further improve download script X-Git-Tag: v9.1.0-rc1~1129^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6624%2Fhead;p=dealii.git further improve download script --- diff --git a/contrib/utilities/makeofflinedoc.sh b/contrib/utilities/makeofflinedoc.sh index ecc0356ca1..0079ea88f0 100755 --- a/contrib/utilities/makeofflinedoc.sh +++ b/contrib/utilities/makeofflinedoc.sh @@ -29,17 +29,11 @@ sed -i 's#"https\?://www.dealii.org/images/#"images/#g' step_*.html class*.html echo "Downloading images (this will take a long time; press ctrl-c to cancel) ..." -for i in steps/developer \ - shape-functions/{DGPMonomial,DGPNonparametric,DGP}/P{1,2,3,4} \ - shape-functions/{hierarchical,lagrange}/Q{1,2,3,4}; do - echo " ... processing images/$i" - mkdir -p images/"$i" - ( - cd images/"$i" - trap "echo \"(skipping)\"" SIGINT - wget -q -nd -A svg,png,gif,webm -m -l 1 -np "https://www.dealii.org/images/$i" - rm -f robots.txt* - ) -done +{ + trap "echo \"(skipping)\"" SIGINT + wget -q -nH -A svg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/steps" + wget -q -nH -A svg,png,gif,webm -m -l 3 -np "https://www.dealii.org/images/shape-functions" + rm -f robots.txt* images/robots.txt* +} echo "all done!"