1359 |
|
|
1360 |
# check known uri schemes |
# check known uri schemes |
1361 |
case ${uri} in |
case ${uri} in |
1362 |
http://*|https://*|ftp://*|ftps://*) mirrors="" ;; |
http://*|https://*|ftp://*|ftps://*|file://*) mirrors="" ;; |
1363 |
mirror://*) mirrors="${MIRRORS}"; scheme="mirror://"; addon="/sources" ;; |
mirror://*) mirrors="${MIRRORS}"; scheme="mirror://"; addon="/sources" ;; |
1364 |
package://*) mirrors="${MIRRORS}"; scheme="package://"; addon="/${PACKAGES_SERVER_PATH}" ;; |
package://*) mirrors="${MIRRORS}"; scheme="package://"; addon="/${PACKAGES_SERVER_PATH}" ;; |
1365 |
gnu://*) mirrors="${GNU_MIRRORS}"; scheme="gnu://" ;; |
gnu://*) mirrors="${GNU_MIRRORS}"; scheme="gnu://" ;; |
1426 |
# get the name of the output file |
# get the name of the output file |
1427 |
outputfile="${mirror##*/}" |
outputfile="${mirror##*/}" |
1428 |
|
|
1429 |
wget ${wget_opts} --output-document="${outputdir}/${outputfile}" "${mirror}" |
case ${mirror} in |
1430 |
retval="$?" |
file://*) |
1431 |
|
cp -v "${mirror//file:\/\/}" "${outputdir}/${outputfile}" |
1432 |
|
retval="$?" |
1433 |
|
;; |
1434 |
|
*) |
1435 |
|
wget ${wget_opts} --output-document="${outputdir}/${outputfile}" "${mirror}" |
1436 |
|
retval="$?" |
1437 |
|
;; |
1438 |
|
esac |
1439 |
|
|
1440 |
if [[ ${retval} = 0 ]] |
if [[ ${retval} = 0 ]] |
1441 |
then |
then |
1442 |
break |
break |