[GRASS-dev] [GRASS GIS] #3179: g.extension not installing addons behind proxy

[GRASS GIS]

#3179: g.extension not installing addons behind proxy
--------------------------+----------------------------------------
  Reporter:  madi         |      Owner:  grass-dev@…
      Type:  defect       |     Status:  new
  Priority:  normal       |  Milestone:  7.4.5
 Component:  Addons       |    Version:  unspecified
Resolution:               |   Keywords:  g.extension, proxy, addons
       CPU:  Unspecified  |   Platform:  Unspecified
--------------------------+----------------------------------------

Comment (by neteler):

 Fix attempt via https://github.com/GRASS-GIS/grass-ci/pull/6 submitted as
 r74116.
 Note the different proxy syntax in the manual page.

 If ok, to be backported.

-- 
Ticket URL: <https://trac.osgeo.org/grass/ticket/3179#comment:10>
GRASS GIS <https://grass.osgeo.org>