diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:54:43 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 17:54:43 +0000 |
commit | e4283f6d48b98e764b988b43bbc86b9d52e6ec94 (patch) | |
tree | c8f7f7a6c2f5faa2942d27cefc6fd46cca492656 /subprojects/extensions-tool/README.md | |
parent | Initial commit. (diff) | |
download | gnome-shell-e4283f6d48b98e764b988b43bbc86b9d52e6ec94.tar.xz gnome-shell-e4283f6d48b98e764b988b43bbc86b9d52e6ec94.zip |
Adding upstream version 43.9.upstream/43.9upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | subprojects/extensions-tool/README.md | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/subprojects/extensions-tool/README.md b/subprojects/extensions-tool/README.md new file mode 100644 index 0000000..dc2e2d7 --- /dev/null +++ b/subprojects/extensions-tool/README.md @@ -0,0 +1,23 @@ +# 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][bug-tracker]. + +## 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: +```sh +$ ./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][license] file for details. + +[bug-tracker]: https://gitlab.gnome.org/GNOME/gnome-shell/issues +[license]: COPYING |