Bug#873526: mate-system-tools: mate-system-tools is gone, apt should indicate gnome-system-tools replaces it
Control: reassign -1 mate-desktop-environment-extras
Hi Fab,
On Mon, 28 Aug 2017 10:28:54 -0400 Fabian Rodriguez
<magicfab@member.fsf.org> wrote:
> Package: mate-menus
> Version: 1.18.0-2
> Severity: important
> File: mate-system-tools
>
> Dear Maintainer,
>
> In new Debian MATE installs an important GUI tool is missing to
manage groups and users.
>
> In Jessie this used to be provided by mate-users-admin, part of
mate-system-tools.
>
> In Stretch (and Buster) this has been replace by gnome-system-tools
but apt does not indicate this change. Another similar change affecting
gnome-media-gstreamer shows the behavior I' d like to suggest for
situations when mate-system-tools installation is requested:
>
> $ sudo apt install mate-media-gstreamer
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> Package mate-media-gstreamer is not available, but is referred to by
another package.
> This may mean that the package is missing, has been obsoleted, or
> is only available from another source
> However the following packages replace it:
> mate-media-common mate-media
>
> E: Package 'mate-media-gstreamer' has no installation candidate
>
> Perhaps the above could be done for mate-system-tools.
>
> Thank you.
>
The package dependency handling is all in the src:package
mate-desktop-environment. The mate-menus src: package is basically a
shared library. Thus, reassigning this bug to
mate-desktop-environment-extras (where I will recommend gnome-system-tools).
Mike
Reply to: