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

..

gnome-extensions.txt

extensions-tool: Add common option to silence errors

2020-04-05 13:42:50 +02:00

meson.build

extensions-tool: Move to a subproject

2019-12-18 19:13:24 +00:00

stylesheet.xsl

extensions-tool: Move to a subproject

2019-12-18 19:13:24 +00:00