gnome-shell-extension-tool: enable/disable are flaky
The options --enable-extension
and --disable-extension
of gnome-shell-extension-tool
are unreliable. Sometimes they don't enable/disable the extension.
Steps to reproduce:
# try to enable 100 dummy extensions
for i in {00..99}; do
gnome-shell-extension-tool --enable-extension dummy-$i
done
# count how many were enabled
gsettings get org.gnome.shell enabled-extensions | grep -o dummy-.. | wc -l
# expected output: 100
# actual output: less than 100 (e.g. 74)
# to clean up, change --enable-extension to --disable-extension (may need to run several times due to this issue)
Cause:
The tool does not call Gio.Settings.sync, so the write operations made to GSettings can be lost.
Patch:
Merge request !681 (closed).
Related:
Merge request !623 (merged) (Import gnome-extensions tool) would resolve this issue, however it's not clear to me when it will be merged and I would like this issue to be resolved soon.
Edited by Tom Levy