3 Commits

Author	SHA1	Message	Date
Florian Müllner	f5a170ce46	extensions-tool: Add common option to silence errors ... Error reporting is useful when used interactively, but often undesirable when used in scripts. Account for that with a common --quiet option, which is more convenient than redirection stderr to /dev/null. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2391	2020-04-05 13:42:50 +02:00
Florian Müllner	7f6e2ff36b	extensions-tool: Use OpenExtensionPrefs() method ... LaunchExtensionPrefs() was deprecated in commit fda938175e, so switch to the replacement. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1097	2020-03-22 15:31:07 +01:00
Florian Müllner	51518d4d96	extensions-tool: Move to a subproject ... The gnome-extensions tool code is really independent from the rest of the code base, and could be used either as part of the gnome-shell build or as stand-alone project (for example for the extension-ci docker image). We can actually support both cases by moving the code to a subproject. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877	2019-12-18 19:13:24 +00:00