2 Commits

Author	SHA1	Message	Date
Florian Müllner	07fad38a50	extensions-tool: Add list options ... In addition to a plain list of all extensions, add options to display additional details of each extensions and to filter the list by enabled state or install location. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234	2019-08-21 18:28:02 +02:00
Florian Müllner	ac4b88f25d	extensions-tool: Implement list command ... Seeing at a glance which extensions are installed is surely useful, so add a corresponding command. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234	2019-08-21 18:28:02 +02:00