[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 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.

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


 thanks,
 Hamish

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