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

 * status:  closed => reopened
 * resolution:  fixed =>


Comment:

 Replying to [comment:17 martinl]:
 > Closing, feel free to re-open if needed.

 From #3179:

 According to Python docs, "Proxies which require authentication for use
 are not currently supported; this is considered an implementation
 limitation" in urllib, and `g.extension` uses urllib, not urllib2 to open
 urls.

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