On Thu, Jan 05, 2012 at 10:17:55AM -0500, William Case wrote:
> Now, how do you download and install a new extension from here?
> Anything I have read is out of the dark ages involving torture and
> incantations with 'git' and 'make'.  There has to be a more modern and
> sophisticated way.

There should be an on/off button. Switch it to on, and GNOME-shell is
notified to download and install the extension.

Note: Removing an extension is a bit buggy. It has been fixed upstream,
but not sure if that was already provided in an updated package.

-- 
Regards,
Olav
-- 
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
Have a question? Ask away: http://ask.fedoraproject.org

Reply via email to