CRUX-ARM : Home

Home :: Documentation :: Download :: Development :: Community :: Ports :: Packages :: Bugs :: Links :: About :: Donors
Bug #347: wget options are configurable now.
authorJuergen Daubert <jue@jue.li>
Sat, 1 Nov 2008 17:09:20 +0000 (18:09 +0100)
committerTilman Sauerbeck <tilman@crux.nu>
Sat, 1 Nov 2008 17:09:20 +0000 (18:09 +0100)
pkgmk.conf
pkgmk.conf.5.in
pkgmk.in

index 5d76a6a32c0391276f627b395bbd6e8f761f15c1..07b1cbd53e310e55f008fac759d020e729bf2b56 100644 (file)
@@ -12,5 +12,6 @@ export CXXFLAGS="-O2 -march=i686 -pipe"
 # PKGMK_DOWNLOAD="no"
 # PKGMK_IGNORE_FOOTPRINT="no"
 # PKGMK_NO_STRIP="no"
+# PKGMK_WGET_OPTS=""
 
 # End of file
index 36a26c1b7e82b0e47f3f27b4c82190100c2e3fef..dcb6a207124240f654fb4ac6ce3f5f626c1bb734 100644 (file)
@@ -39,6 +39,10 @@ Set directory for building packages.
 .br
 Default: '\fBfoo\fP/work', where \fBfoo\fP is the directory of the Pkgfile.
 .TP
+\fBPKGMK_WGET_OPTS='STRING'\fP
+Additional options for wget(1), which is used by pkgmk to download all files.
+.br
+.TP
 \fBPKGMK_DOWNLOAD='STRING'\fP
 If set to 'yes', pkgmk will download the source archives if necessary.
 .br
@@ -56,6 +60,6 @@ Default: 'no'
 .SH SEE ALSO
 pkgmk(8)
 .SH COPYRIGHT
-pkgmk (pkgutils) is Copyright (c) 2000-2005 Per Liden and Copyright (c) 2006-2007 CRUX team (http://crux.nu).
+pkgmk (pkgutils) is Copyright (c) 2000-2005 Per Liden and Copyright (c) 2006-2008 CRUX team (http://crux.nu).
 pkgmk (pkgutils) is licensed through the GNU General Public License.
 Read the COPYING file for the complete license.
index 1cc40d60d274cb3a31e7896f3ad3ce4e2864673c..00d8e954720888c3e42806ea0841bdde1615e7bd 100755 (executable)
--- a/pkgmk.in
+++ b/pkgmk.in
@@ -101,7 +101,7 @@ download_file() {
        BASENAME=`get_basename $1`
        for REPO in ${PKGMK_SOURCE_MIRRORS[@]}; do
                REPO="`echo $REPO | sed 's|/$||'`"
-               wget $RESUME_CMD $DOWNLOAD_OPTS $REPO/$BASENAME
+               wget $RESUME_CMD $DOWNLOAD_OPTS $PKGMK_WGET_OPTS $REPO/$BASENAME
                error=$?
                if [ $error == 0 ]; then
                        break
@@ -110,7 +110,7 @@ download_file() {
 
        if [ $error != 0 ]; then
                while true; do
-                       wget $RESUME_CMD $DOWNLOAD_OPTS $1
+                       wget $RESUME_CMD $DOWNLOAD_OPTS $PKGMK_WGET_OPTS $1
                        error=$?
                        if [ $error != 0 ] && [ "$RESUME_CMD" ]; then
                                info "Partial download failed, restarting"