diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..da0de7e --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +pdf diff --git a/download-all-pdf.sh b/download-all-pdf.sh new file mode 100755 index 0000000..6e6591e --- /dev/null +++ b/download-all-pdf.sh @@ -0,0 +1,25 @@ +#!/bin/bash + +# --------------------------------- Create the pdf directory if not exists -- +if [ ! -d pdf ]; then + mkdir pdf +fi + +# ---------------------------------------- Add pdf directory to .gitignore -- +if [ ! -f .gitignore ]; then + echo pdf > .gitignore +else + grep -q -F 'pdf' .gitignore || echo 'pdf' >> .gitignore +fi + +# ---------------------------------------- Download pdf file if not exists -- +for f in `sed -rn 's/.*(http.+\.pdf).*/\1/pg' README.md` +do + if [ ! -f "pdf/${f##*/}" ]; then + wget --tries=3 \ + --timeout=5 \ + --waitretry=1 \ + --retry-connrefused \ + "$f" -P pdf + fi +done