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

Reply via email to