[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 martinl):

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

 please try r68228.

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/1434#comment:11>
GRASS GIS <https://grass.osgeo.org>