On Fri, Jun 3, 2011 at 1:48 AM, Pasha R <pashar.ml@gmail.com> wrote:
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
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
gsettings lets you disable extensions on a per user basis without having to fiddle with .local
Rahul
-- 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
