#1434: g.extension: option to specify proxy server
-------------------------------------------------+--------------------------
Reporter: hamish | Owner: grass-dev@…
Type: enhancement | Status: new
Priority: major | Milestone: 6.4.4
Component: Installation | Version: svn-trunk
Keywords: g.extension, urllib, wget, r.in.wms | Platform: All
Cpu: All |
-------------------------------------------------+--------------------------
Changes (by hamish):
* milestone: 7.0.0 => 6.4.4
Comment:
Replying to [comment:5 zarch]:
> If the environment variables exist and user does not specify new one
with:
> http_proxy, ftp_proxy, etc. the environment variables are used. Looking
at
> the python docs:
>
{{{
> # Use proxies from environment - both versions are equivalent
> filehandle = urllib.urlopen(some_url, proxies=None)
}}}
seems like an easy string to set in the Preferences menu? (General tab?)
Rather than lots of input boxes maybe just a single one with a tooltip
saying something like:
{{{
USAGE: http://[username[:password]@]hostname.example.org:portnumber
EXAMPLE: http://jdoe:[email protected]:8181
}}}
?
stuck behind a firewall,
Hamish
--
Ticket URL: <https://trac.osgeo.org/grass/ticket/1434#comment:6>
GRASS GIS <http://grass.osgeo.org>
_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
