hi !

Jeremy Bicha jbicha at ubuntu.com
Mon Aug 5 22:31:38 UTC 2013

On 5 August 2013 17:18, Alfredo Hernández <aldomann.designs at gmail.com> wrote:
>> Ubuntu Gnome does add the "User Menu" extension as default plus Tweak
>> Tool, maybe add the stock "gnome-shell-extensions-common" and that "should"
>> be enough of a foot in the door to help.
> Oh, yeah, extensions like "User theme" are completely interesting to be
> shipped by default. A guide to install and manage them shall also be added
> to the beginners's guide.

The user theme extension and the other "official"
gnome-shell-extensions *are* shipped by default in 13.10. Just enable
them in Tweak Tool.

> I personally think that the new (3.10) default GNOME's wallpaper is
> absolutely brilliant. Also, we are planning to do a wallpaper contest to
> select the wallpaper we ship (not the default one, but the selection that
> can be found in the Background settings).

Why not the default one?


More information about the Ubuntu-GNOME mailing list