It seems that gnome-shell extensions are not enabled by default in gnome-shell 3.2, even if you install the appropriate rpm. Is there a command-line method of enabling all installed extensions for all users? It's a bit cumbersome to run gsettings commands for every user on every system, or similarly use gnome-tweak-tool. A system-wide switch would be helpful. - Mike -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
