From 50a81737184bd998ace2fb19ee0cb199b247fab8 Mon Sep 17 00:00:00 2001 From: christos Date: Thu, 26 Mar 2020 15:55:24 +0000 Subject: [PATCH] Added support for specifying which directories you want to download. --- scripts/download_all.sh | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/scripts/download_all.sh b/scripts/download_all.sh index e247bf1..edd96a2 100755 --- a/scripts/download_all.sh +++ b/scripts/download_all.sh @@ -24,6 +24,14 @@ download_for_directory() { echo "$1 done." } -BASEDIR="$(dirname $0)/.." -download_for_directory $BASEDIR +if [ "$#" -ne 1 ]; then + BASEDIR="$(dirname $0)/.." + download_for_directory $BASEDIR +else + for dir in "$@" + do + download_for_directory $dir + done +fi + wait