1383 |
|
|
1384 |
# check known uri schemes |
# check known uri schemes |
1385 |
case ${uri} in |
case ${uri} in |
1386 |
http://*|https://*|ftp://*|ftps://*) mirrors="" ;; |
http://*|https://*|ftp://*|ftps://*|file://*) mirrors="" ;; |
1387 |
mirror://*) mirrors="${MIRRORS}"; scheme="mirror://"; addon="/sources" ;; |
mirror://*) mirrors="${MIRRORS}"; scheme="mirror://"; addon="/sources" ;; |
1388 |
package://*) mirrors="${MIRRORS}"; scheme="package://"; addon="/${PACKAGES_SERVER_PATH}" ;; |
package://*) mirrors="${MIRRORS}"; scheme="package://"; addon="/${PACKAGES_SERVER_PATH}" ;; |
1389 |
gnu://*) mirrors="${GNU_MIRRORS}"; scheme="gnu://" ;; |
gnu://*) mirrors="${GNU_MIRRORS}"; scheme="gnu://" ;; |
1450 |
# get the name of the output file |
# get the name of the output file |
1451 |
outputfile="${mirror##*/}" |
outputfile="${mirror##*/}" |
1452 |
|
|
1453 |
wget ${wget_opts} --output-document="${outputdir}/${outputfile}" "${mirror}" |
case ${mirror} in |
1454 |
retval="$?" |
file://*) |
1455 |
|
cp -v "${mirror//file:\/\/}" "${outputdir}/${outputfile}" |
1456 |
|
retval="$?" |
1457 |
|
;; |
1458 |
|
*) |
1459 |
|
wget ${wget_opts} --output-document="${outputdir}/${outputfile}" "${mirror}" |
1460 |
|
retval="$?" |
1461 |
|
;; |
1462 |
|
esac |
1463 |
|
|
1464 |
if [[ ${retval} = 0 ]] |
if [[ ${retval} = 0 ]] |
1465 |
then |
then |
1466 |
break |
break |