[GRASS-git] [OSGeo/grass] f4dc74: g.extension: distinguish between extensions and mo...

[Markus Metz]

  Branch: refs/heads/releasebranch_7_8
  Home:   https://github.com/OSGeo/grass
  Commit: f4dc7429f80f32bebb236b08eee2b8ea9f180c82
      https://github.com/OSGeo/grass/commit/f4dc7429f80f32bebb236b08eee2b8ea9f180c82
  Author: Markus Metz <33666869+metzm at users.noreply.github.com>
  Date:   2020-05-05 (Tue, 05 May 2020)

  Changed paths:
    M scripts/g.extension/g.extension.py

  Log Message:
  -----------
  g.extension: distinguish between extensions and modules (#582)

A single extension might install several modules, with none of the modules having the same name like the extension. This fix searches for modules installed by an extension and creates a new extensions.xml file alongside modules.xml to keep track of installed extensions. As before, modules.xml is used to list installed modules and now also lists modules of extensions providing multiple modules.

This backport needed a modification to bypass the not backported changes from 6528264fc3fe4c8d9a47ccb28f35ff3d47998ba8