04 giu 2012, 11.06link html
https://plus.google.com/u/0/102150693225130002912/...

Per i tl;dr :
Gnome 3 non gli piaceva, però poi hanno messo la possibilità di installare le estensioni. Gli sembrava una grande idea e allora ha installato la nuova Fedora.
Però come fai upgrade di Gnome-shell certe estensioni smettono di funzionare e poi sono fatte dagli utenti, quindi non ufficiali e non supportate. Alcune di queste poi creano casini nel sistema.
Quindi le scelte sono o avere un desktop fatto come vogliono quelli di gnome oppure installare delle estensioni del cazzo che possono crearti mille problemi:

End result: extensions.gnome.org may be a really cool idea, but it seems to have some serious usability problems in practice. And the whole gnome3 approach of "by default we don't give you even the most basic tools to fix things, but you can hack around things with unofficial extensions" seems to be a total UX failure.
8080
1.236