8e0308d097
The newly added developer name syntax appears not implemented across related platforms: GNOME Software, Flathub, etc. There is no harm in using both deprecated and newly introduced tags together, and neither appstream-glib nor appstreamcli fails to validate this usage. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3079>
GNOME Extensions
GNOME Extensions is a small app for managing GNOME Shell extensions. It is usually built as part of gnome-shell, but can be used as a stand-alone project as well.
Bugs should be reported to the GNOME bug tracking system.
Installation
If Extensions is not already installed on your GNOME system, we recommend getting it from flathub.
Building
Before the project can be built stand-alone, the po directory has to be populated with translations (from gnome-shell).
To do that, simply run the included script:
$ ./generate-translations.sh
You can then build and install the project:
$ meson setup --prefix=/usr _build
$ meson compile -C _build
$ meson install -C _build
$ /usr/bin/gnome-extensions-app
For development you can also install the project to a temporary directory (e.g. replace /usr with /tmp/install above).
License
gnome-extensions-app is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.