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

 for folks who have to go through an auth'd proxy server to get a
 connection to the internet g.extension reports a failure of
 svn+urllib(.py) (or svn+wget,curl in 6.x) to download the files.

 Something like 6.x's r.in.wms's wgetoptions= parameter could work around
 this, or maybe urllib(.py) has some nicer way.

 6.x work-around for wget/curl: export the http_proxy enviro variable
 before starting GRASS. see the wget/curl man pages.

 7.x work-around for urllib: same http_proxy enviro var as above, see also
 http://docs.python.org/library/urllib.html

 work-around for 'svn co', all versions: edit the "servers" file in
 ~/.subversion, or in MS Windows %APPDATA%\Subversion\.


 Hamish

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