Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#57965 - [gnome-menus] Should be in gnome group or in gnome-extra group
Attached to Project:
Arch Linux
Opened by Oscar Garcia (ogarcia) - Monday, 26 March 2018, 09:06 GMT
Last edited by Jan de Groot (JGC) - Wednesday, 28 March 2018, 10:20 GMT
Opened by Oscar Garcia (ogarcia) - Monday, 26 March 2018, 09:06 GMT
Last edited by Jan de Groot (JGC) - Wednesday, 28 March 2018, 10:20 GMT
|
DetailsSince gnome-shell no longer depends on gnome-menus, it does not install from the gnome group or gnome-extra group.
The current fix of optdepend in gnome-shell-extensions don't fix it. Maybe it should be in gnome group or gnome-extra group? |
This task depends upon
Closed by Jan de Groot (JGC)
Wednesday, 28 March 2018, 10:20 GMT
Reason for closing: Fixed
Additional comments about closing: Upstream has it in "core", so add this to "gnome" group.
Wednesday, 28 March 2018, 10:20 GMT
Reason for closing: Fixed
Additional comments about closing: Upstream has it in "core", so add this to "gnome" group.