10 if test "$DOWNLOADEDFILE" = "0" ; then
13 URLLINK
="$URLLINK/$DOWNLOADEDFILE" ;
16 if test ! -f "downloads/$DOWNLOADEDFILE" ; then
18 wget
--no-check-certificate $URLLINK && \
24 if test "$OK" = "0" ; then
28 case "$DOWNLOADEDFILE" in
30 if test "$EXTRACTEDDIR" = "" ; then
31 EXTRACTEDDIR
=${DOWNLOADEDFILE%%.7z}
33 if test ! -d "src/${EXTRACTEDDIR}" ; then
34 echo " * Unpacking '$DOWNLOADEDFILE'..."
35 if test "$EXTRACTTO" != "" ; then
37 7za x
-y $MKPWD/downloads
/$DOWNLOADEDFILE >/dev
/null
&&
41 7za x
-y ..
/downloads
/$DOWNLOADEDFILE >/dev
/null
&& \
47 if test "$EXTRACTEDDIR" = "" ; then
48 EXTRACTEDDIR
=${DOWNLOADEDFILE%%.zip}
50 if test ! -d "src/${EXTRACTEDDIR}" ; then
51 echo " * Unpacking '$DOWNLOADEDFILE'..."
52 if test "$EXTRACTTO" != "" ; then
54 unzip -o $MKPWD/downloads
/$DOWNLOADEDFILE >/dev
/null
&&
58 unzip -o ..
/downloads
/$DOWNLOADEDFILE >/dev
/null
&& \
64 if test "$EXTRACTEDDIR" = "" ; then
65 case "$DOWNLOADEDFILE" in
66 *.
tar*) EXTRACTEDDIR
=${DOWNLOADEDFILE%%.tar*} ;;
67 *.tgz
) EXTRACTEDDIR
=${DOWNLOADEDFILE%%.tgz*} ;;
68 *) echo "unknown archive type for tar case: '$DOWNLOADEDFILE'"; exit 1; ;;
71 if test ! -d "src/$EXTRACTEDDIR" ; then
72 echo " * Unpacking '$DOWNLOADEDFILE'..."
73 if test "$EXTRACTTO" = "" ; then
76 if test ! -d "$EXTRACTTO" ; then
77 mkdir
-p "$EXTRACTTO";
79 tar -xf downloads
/$DOWNLOADEDFILE --directory=$EXTRACTTO
82 *) echo "unknown archive type '$DOWNLOADEDFILE'"; exit 1; ;;