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

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