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