On Wed, Jun 08, 2011 at 03:20:34PM -0400, Jasper St. Pierre wrote: > OK. I'm just trying to cover the distribution mechanism, and both Owen and I > realized that themes could be implemented as extensions. It's probably > better to provide it separately so that users can switch between themes > without having to disable/enable extensions. I want the user experience to > be pretty much the same as installing Extensions, which should be pretty > painless: no more than navigating to http://extensions.gnome.org and > clicking "Install".
This should not be seen as stop energy, but if you want a *.gnome.org, please use the django framework or that it at least something which works using wsgi. PHP is somewhat disliked.[1] :) -- Regards, Olav [1] In 2004 the infrastructure was compromised and started with insecure PHP code _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
