|
|
@@ -17,7 +17,13 @@ set -e |
|
|
|
# download it if it doesn't exist |
|
|
|
if ! [ -e ${ORIG} ] ; then |
|
|
|
mkdir -p $(dirname ${ORIG}) |
|
|
|
wget -O "${ORIG}" "${ORIGURL}" |
|
|
|
if [ -e $(dirname ${ORIG})/../$(basename ${ORIG}) ] ; then |
|
|
|
# grab from parent directory |
|
|
|
cp $(dirname ${ORIG})/../$(basename ${ORIG}) ${ORIG} |
|
|
|
else |
|
|
|
# grab from web |
|
|
|
wget -O "${ORIG}" "${ORIGURL}" |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
# mount it |
|
|
|