[GRASS-dev] [GRASS GIS] #1434: g.extension: option to specify proxy server

#1434: g.extension: option to specify proxy server
-------------------------+-------------------------------------------------
  Reporter: hamish | Owner: grass-dev@…
      Type: | Status: new
  enhancement |
  Priority: major | Milestone: 7.0.4
Component: | Version: svn-trunk
  Installation |
Resolution: | Keywords: g.extension, urllib, wget, r.in.wms
       CPU: All | Platform: All
-------------------------+-------------------------------------------------

Comment (by neteler):

Replying to [comment:11 martinl]:
> Replying to [comment:7 neteler]:
> > Can this please turned into a proper error message? Thanks.
>
> please try r68228.

Could anyone please try g.extension with (broken) proxy on Windows?

On Linux I get some partial success:

{{{
GRASS 7.0.4svn (demolocation):~ > g.extension -s extension=r.vif
operation=add proxy=http=http://proxynotthere.osgeo.org:8080
Fetching <r.vif> from GRASS-Addons SVN repository (be patient)...
Compiling...
Installing...
Updating addons metadata file...
ERROR: Unable to read addons metadata file from the remote server
WARNING: No addons metadata available
Installation of <r.vif> successfully finished

# ---> shouldn't it completely fail when using a non-existing proxy
server?

GRASS 7.0.4svn (demolocation):~ > g.extension -s extension=r.vif
operation=add
Fetching <r.vif> from GRASS-Addons SVN repository (be patient)...
Compiling...
Installing...
Updating addons metadata file...
Installation of <r.vif> successfully finished

# ... that works fine as before.
}}}

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/1434#comment:12&gt;
GRASS GIS <https://grass.osgeo.org>