[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:  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:secret@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>