gnome-shell/src/extensions-tool
Florian Müllner d4b8912c0e extensions-tool: Add 'reset' command
Now that we allow to disable session mode extensions, it can be useful
to reset an extension to its original state, that is disabled in the
regular session, but possibly enabled via the session mode.

Add a corresponding command.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
2019-08-21 18:28:02 +02:00
..
completion/bash extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00
man extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00
template extensions-tool: Implement create command 2019-08-21 18:28:02 +02:00
command-create.c extensions-tool: Add create options 2019-08-21 18:28:02 +02:00
command-disable.c extensions-tool: Adjust enable/disable commands to shell changes 2019-08-21 18:28:02 +02:00
command-enable.c extensions-tool: Adjust enable/disable commands to shell changes 2019-08-21 18:28:02 +02:00
command-info.c extensions-tool: Add info command 2019-08-21 18:28:02 +02:00
command-install.c extensions-tool: Handle existing extension folder 2019-08-21 18:28:02 +02:00
command-list.c extensions-tool: Add '--prefs' list option 2019-08-21 18:28:02 +02:00
command-pack.c extensions-tool: Add 'install' command 2019-08-21 18:28:02 +02:00
command-prefs.c extensions-tool: Add 'prefs' command 2019-08-21 18:28:02 +02:00
command-reset.c extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00
command-uninstall.c extensions-tool: Add 'uninstall' command 2019-08-21 18:28:02 +02:00
commands.h extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00
common.h extensions-tool: Split out settings_list_add/remove helpers 2019-08-21 18:28:02 +02:00
COPYING extensions-tool: Start import 2019-08-21 18:28:02 +02:00
gnome-extensions-tool.gresource.xml extensions-tool: Implement create command 2019-08-21 18:28:02 +02:00
main.c extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00
meson-src.build extensions-tool: Add 'prefs' command 2019-08-21 18:28:02 +02:00
meson.build extensions-tool: Add 'reset' command 2019-08-21 18:28:02 +02:00