Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
pdf
25 changes: 25 additions & 0 deletions download-all-pdf.sh
Original file line number Diff line number Diff line change
@@ -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