]> https://gitweb.dealii.org/ - dealii.git/commitdiff
further improve download script 6624/head
authorMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 12:48:50 +0000 (07:48 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 18 May 2018 15:02:55 +0000 (10:02 -0500)
contrib/utilities/makeofflinedoc.sh

index ecc0356ca1aee06d022b10f6e58c9d172611d4f2..0079ea88f0b186129eb0acf011a7cd3efdd2b3df 100755 (executable)
@@ -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!"

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.