From c8eb8f39364653ce2938e7923875872d55bda939 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Fri, 18 May 2018 07:48:50 -0500 Subject: [PATCH] further improve download script --- contrib/utilities/makeofflinedoc.sh | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) 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!" -- 2.39.5