On Fri, Jun 3, 2011 at 1:48 AM, Pasha R <pashar...@gmail.com> wrote: > > My problem with extensions is that there is no easy way to enable and > disable them on the fly and per user. All extensions I tried were > activated for all users when installed and required logoff to be > activated. It is possible to copy extension files to > ~/.local/somewhere, but it is even less convenient and still requires > logoff. >
Take a look at this http://blog.fpmurphy.com/2011/04/gnome-3-shell-extensions.html gsettings lets you disable extensions on a per user basis without having to fiddle with .local Rahul
-- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines