15 lines
605 B
Markdown
15 lines
605 B
Markdown
|
# 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].
|
||
|
|
|
||
|
|
## 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
|