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 :)
On Tue, Oct 24, 2017 at 12:08 PM, Dominique Leuenberger / DimStar
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.
What would be the correct process for discussing / fixing this? Mike
Consider the discussion started
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?
Cheers Dominique
-- Michael Aquilina -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org