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

[GRASS GIS]

#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>
GRASS GIS <https://grass.osgeo.org>