[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.4.0
 Component:              |    Version:  svn-trunk
  Installation           |
Resolution:              |   Keywords:  g.extension, urllib, wget, r.in.wms
       CPU:  All         |   Platform:  All
-------------------------+-------------------------------------------------

Comment (by neteler):

 Proxy ticket also in #3179

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