[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:2 neteler]:
 > Increasing importance, enhancement asked in Italian GRASS GIS mailing
 list.


 Ok, I've changed the code, now the proxy should be supported...
 see attachement: g.extension.diff

 (Un)fortunately I'm not behind a proxy, therefore I cannot test...

 If someone can test the changes, then I can commit...



 Note: I changed the global variables from lower to capitals (PEP8).

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