R: git through proxy - changeset proposal

[Riccardo Corradini]

Dear Marco,
I had the sample problem, but I simply updated the lines 405 and 406 of bootstrap in octave dev version
    git clone --help|grep depth > /dev/null && shallow='--depth 2' || shallow=
    git clone $shallow http://git.savannah.gnu.org/r/gnulib.git/ ||
and it works perfectly behind my proxy .
Hope this could be considered as an alternative solution..
Respectfully
Riccardo

--- Ven 18/12/09, Marco Atzeri <address@hidden> ha scritto:

Da: Marco Atzeri <address@hidden>
Oggetto: git through proxy - changeset proposal
A: address@hidden
Data: Venerdì 18 dicembre 2009, 09:56

Hi,
the attached changeset modify from git protocol to http protocol
to allow passing by http proxy.

-    git clone $shallow git://git.sv.gnu.org/gnulib ||
+    git clone $shallow http://git.sv.gnu.org/r/gnulib.git ||

When behind a proxy a simple

export http_proxy=http://your_proxy_ip:port

allow the autogen.sh to work

Regards
Marco