On Tue, 2017-10-24 at 12:40 +0100, Michael Aquilina wrote:
On Tue, Oct 24, 2017 at 12:08 PM, Dominique Leuenberger / DimStar
wrote: On Tue, 2017-10-24 at 12:01 +0100, Michael Aquilina wrote:
With regards to
We might also wonder if g-s-exteions-tool actually belongs into the
-devel package; that might be wrong in itself.
I agree that its actually quite hidden in there. When I first tried finding the package that contained `gnome-shell-extension-tool` it took a bit of searching to find the correct package.
obvioulsy, when the file was added to the -devel package, its purpose was not entirely clear. The same holds true for gnome-shell-perf- tool btw (which likely also should not be in the -devel)
Looking into the current content of -devel, this is anyway just misnamed (there is no development headers/libraries/anything in there)
As such, I propose we rename gnome-shell-devel to gnome-shell- tools, and have this package auto-supplement gnome-shell (so it will be auto- installed, in a recommended fashion).
Does that sound reasonable?
That sounds like what I would have expected it to be like in the first place - so I think that is a perfectly reasonable solution :)
Good, so the question now is: who does the work? Would you like to take a stab at it? Cheers Dominique PS: please don't top-post - it breaks all natural flow when reading a text and quotes it refers to.