From 86002537db1ff3c7bdd6b59948b560079710534a Mon Sep 17 00:00:00 2001
From: christos <chrishadjiaslanis@gmail.com>
Date: Wed, 25 Mar 2020 22:06:36 +0000
Subject: [PATCH] Removed old download_all.sh

---
 download_all.sh | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100755 download_all.sh

diff --git a/download_all.sh b/download_all.sh
deleted file mode 100755
index 339112f..0000000
--- a/download_all.sh
+++ /dev/null
@@ -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