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@xxxxxxxxxxxxxxxxxxxxxxx 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
