Removed old download_all.sh

pull/597/head
christos 4 years ago
parent e4c4f2e053
commit 86002537db

@ -1,17 +0,0 @@
#!/bin/bash
download_for_directory() {
cd $1
for f in *; do
if [ -d "$f" ]; then
download_for_directory $f &
fi
done
ls | cat *.md 2> /dev/null | egrep -o 'https?://[^ ]+' | grep 'pdf' | tr -d ')' | xargs --no-run-if-empty wget --no-clobber --quiet --timeout=5 --tries=2
cd ..
echo "Done $1"
}
download_for_directory .
wait
Loading…
Cancel
Save