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] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
