RFS: gnome-shell-extensions

[Leo 'costela' Antunes]

On 06/11/11 12:34, Josselin Mouette wrote:
> Since there is no extension manager in 3.0, I think we should start this
> package from gnome-shell 3.2 (currently sitting in experimental). This
> way there would be no need for this hair-splitting
> one-extension-per-package which only makes things more complicated.

I imagine you probably heard this question a thousand times already, but
do you have a rough time-frame for 3.2 entering unstable?
If it's still months away, I'd suggest uploading it as-is now, because
IMHO its usefulness outweighs the slight annoyance of having to manually
disable the unwanted extensions after installing (and I imagine we're
only talking about sid/testing here, as the released version will
probably be ">= 3.2").


> Let’s just select a default set of extensions useful to enable by
> default (at least alternative-status-menu) and this should be much
> better.

User-theme might also be a good candidate, since it's unintrusive and
gnome-tweak-tool already expects to find it.


Cheers

-- 
Leo "costela" Antunes
[insert a witty retort here]