gnome-shell/subprojects/extensions-tool
Florian Müllner 9ef9a5ff8a build: Pre-generate man pages at dist time
The man pages don't change very often, but draw in both docbook and
asciidoc. The latter is particularly problematic, as some distros
still ship only a python2 version of the tool.

Address this by generating the man pages at dist time, and including
the result in the tarball.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>
2020-12-28 02:25:24 +01:00
..
completion/bash extensions-tool: Add --template create option 2020-04-07 20:27:00 +00:00
man extensions-tool: Add --template create option 2020-04-07 20:27:00 +00:00
po extensions-tool: Set up translations for standalone builds 2019-12-18 19:13:24 +00:00
src extensions-tool: Escape '\' and '"' in json string 2020-05-28 11:23:19 +00:00
COPYING extensions-tool: Move to a subproject 2019-12-18 19:13:24 +00:00
generate-translations.sh extensions-tool: Set up translations for standalone builds 2019-12-18 19:13:24 +00:00
meson_options.txt build: Make bash-completion support optional 2020-03-21 20:44:43 +01:00
meson.build build: Pre-generate man pages at dist time 2020-12-28 02:25:24 +01:00
README.md extensions-tool: Set up translations for standalone builds 2019-12-18 19:13:24 +00:00

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.