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

Comment(by hamish):

 see also http://subversion.apache.org/faq.html#proxy

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