Greetings! I was missing the --no-proxy option for wget to download sources from a server in the LAN. Admittedly that's not something one *should* need, but find a simple patch attached, anyway, in case someone needs it. Let's hope my MUA doesn't munge it too badly.
Best regards, Dennis Herbrich Hytera Mobilfunk GmbH Fritz-Hahne-Str. 7 31848 Bad Münder/ Germany Abteilung E Tel.: + 49 (0) 5042 998 339 Fax: + 49 (0) 5042 998 305 mailto:[email protected] ------------------------------------------------------------ Geschäftsführer / President: Matthias Klausing, Sitz der Gesellschaft / Company's Place of Business: Bad Muender, Registereintrag / Commercial Register No. Amtsgericht / Local Court Hannover: HRB 100300, Umsatzsteuer-Identifikationsnummer (USt-IdNr.) / VAT Identification No.: DE 115 447 987, Elektro-Altgeräte Register (EAR) / WEEE Register No.: DE 187 048 87 ----- Add support for wget --no-proxy option in URLs. --- ptxdist-2013.01.90/scripts/lib/ptxd_make_get.sh.orig 2013-02-26 11:33:30.000000000 +0100 +++ ptxdist-2013.01.90/scripts/lib/ptxd_make_get.sh 2013-02-26 11:34:32.000000000 +0100 @@ -30,6 +30,9 @@ no-check-certificate) opts[${#opts[@]}]="--${opt}" ;; + no-proxy) + opts[${#opts[@]}]="--${opt}" + ;; *) ptxd_bailout "invalid option '${opt}' to ${FUNCNAME}" ;; @@ -112,6 +115,7 @@ # # valid options: # - no-check-certificate don't check server certificate (https only) +# - no-proxy don't use proxy server even if defined # ptxd_make_get() { local -a argv -- ptxdist mailing list [email protected]
