[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                                  |  
-------------------------------------------------+--------------------------
Changes (by neteler):

  * priority:  normal => major


Comment:

 Increasing importance, enhancement asked in Italian GRASS GIS mailing
 list.

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