Hi all,

 

I recently migrated to 2012-09 and as usual I had to work around our companies HTTP proxy ...

... so what about something like:

 

diff -Naur orig/ptxdist-2012.09.0/config/setup/Kconfig ptxdist-2012.09.0/config/setup/Kconfig

--- orig/ptxdist-2012.09.0/config/setup/Kconfig  2012-09-06 18:13:48.000000000 +0200

+++ ptxdist-2012.09.0/config/setup/Kconfig      2012-09-17 09:12:02.274401151 +0200

@@ -56,6 +56,14 @@

                          http://your.proxy.org:80

+config SETUP_HTTP_PROXY_TIMEOUT

+          prompt "HTTP Proxy timeout"

+          int

+          default "30"

+          help

+            Set maximum timeout for downloads via a http proxy

+         

+

endmenu

 menu "Project Searchpath"

diff -Naur orig/ptxdist-2012.09.0/config/setup/ptxdistrc.default ptxdist-2012.09.0/config/setup/ptxdistrc.default

--- orig/ptxdist-2012.09.0/config/setup/ptxdistrc.default 2012-09-06 18:13:48.000000000 +0200

+++ ptxdist-2012.09.0/config/setup/ptxdistrc.default     2012-09-17 09:11:43.399225416 +0200

@@ -18,7 +18,7 @@

#

PTXCONF_SETUP_FTP_PROXY=""

PTXCONF_SETUP_HTTP_PROXY=""

-

+PTXCONF_SETUP_HTTP_PROXY_TIMEOUT="30"

#

# Project Searchpath

#

diff -Naur orig/ptxdist-2012.09.0/scripts/lib/ptxd_make_get.sh ptxdist-2012.09.0/scripts/lib/ptxd_make_get.sh

--- orig/ptxdist-2012.09.0/scripts/lib/ptxd_make_get.sh  2012-09-06 18:13:48.000000000 +0200

+++ ptxdist-2012.09.0/scripts/lib/ptxd_make_get.sh      2012-09-17 09:03:42.069850814 +0200

@@ -43,6 +43,13 @@

           #

           local file="${url##*/}"

+          #

+          # Proxy timeout

+          local proxytimeout= ${PTXCONF_SETUP_HTTP_PROXY_TIMEOUT}

+          if [ -z proxytimeout ]; then

+                      proxytimeout=30

+          fi

+

           # remove any pending or half downloaded files

           rm -f -- "${path}."*

@@ -50,7 +57,7 @@

           wget \

               --passive-ftp \

               --progress=bar:force \

-               --timeout=30 \

+              --timeout=${proxytimeout} \

               --tries=5 \

               ${PTXDIST_QUIET:+--quiet} \

               "${opts[@]}" \

 

 

Regards

Gavin

 

Eckelmann Aktiengesellschaft
Vorstand: Dr.-Ing. Gerd Eckelmann (Vorsitzender)
Dr.-Ing. Peter Cordes, Dr.-Ing. Frank-Thomas Mellert
Vorsitzender des Aufsichtsrats: Hubertus G. Krossa
Sitz der Gesellschaft: Wiesbaden Amtsgericht Wiesbaden HRB 12636