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

[Markus Metz]

  Branch: refs/heads/master
  Home:   https://github.com/OSGeo/grass
  Commit: eecbe060c4dea7e50debdb14d20212815afeb2e2
      https://github.com/OSGeo/grass/commit/eecbe060c4dea7e50debdb14d20212815afeb2e2
  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.