#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:sec...@proxy.example.com: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 grass-dev@lists.osgeo.org http://lists.osgeo.org/mailman/listinfo/grass-dev