[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:  7.0.0                    
Component:  Installation                         |     Version:  svn-trunk                
 Keywords:  g.extension, urllib, wget, r.in.wms  |    Platform:  All                      
      Cpu:  All                                  |  
-------------------------------------------------+--------------------------

Comment(by zarch):

 Replying to [comment:4 hamish]:
 > Hi,
 >
 > please also check if the http_proxy, ftp_proxy, etc. environment
 variables exist, that's quite widely supported convention and quite handy
 for those that need it set for everything.


 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)
 }}}


 > I'm not sure which should have precedence if it is set multiple ways, I
 guess the command line option before the envrio. variable.


 IMHO, if the user specify the http_proxy parameter on the module this
 should have the precedence.

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