[GRASS-dev] [GRASS GIS] #1434: g.extension: option to specify proxy server

GRASS GIS trac at osgeo.org
Tue May 28 03:27:12 PDT 2013

#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):


 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.


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

More information about the grass-dev mailing list