diff options
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 |