README.md
1# gnome-extensions-tool
2gnome-extensions-tool is a command line utility for managing
3GNOME Shell extensions. It is usually built as part of gnome-shell,
4but can be used as a stand-alone project as well (for example to
5create an extension bundle as part of continuous integration).
6
7Bugs should be reported to the GNOME [bug tracking system][bug-tracker].
8
9## Building
10Before the project can be built stand-alone, the po directory has
11to be populated with translations (from gnome-shell).
12
13To do that, simply run the included script:
14```sh
15$ ./generate-translations.sh
16```
17
18## License
19gnome-extensions-tool is distributed under the terms of the GNU General Public
20License, version 3 or later. See the [COPYING][license] file for details.
21
22[bug-tracker]: https://gitlab.gnome.org/GNOME/gnome-shell/issues
23[license]: COPYING
24