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

Comment (by sbl):

 Is this still relevant in more recent versions of GRASS?

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