brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
bilelmoussaoui/extensions/fix
gnome-shell/subprojects/extensions-tool/README.md
Bilal Elmoussaoui bcc646ff6f ExtensionsPref: always convert the extension version to a string 
This fixes: Wrong type number; string expected
MR: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1060
2020-03-02 11:59:43 +01:00

822 B
Raw Permalink Blame History

gnome-extensions-tool

gnome-extensions-tool is a command line utility 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 (for example to create an extension bundle as part of continuous integration).

Bugs should be reported to the GNOME bug tracking system.

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

License

gnome-extensions-tool is distributed under the terms of the GNU General Public License, version 3 or later. See the COPYING file for details.