menu-policy still there and not-deprecated (Re: Bug#975631: debian-policy: window manager: remove reference to Debian menu)

2023-04-10 Thread Holger Levsen
hi, someone on irc wondered about icons and Debian packages so I noticed https://www.debian.org/doc/packaging-manuals/menu-policy/ prominently linked from https://www.debian.org/doc/devel-manuals#policy But then I though the menu system has been deprecated as eg noted in #975631: On Tue, Nov

Bug#975631: debian-policy: window manager: remove reference to Debian menu

2022-09-21 Thread Simon McVittie
On Tue, 20 Sep 2022 at 21:45:28 -0700, Russ Allbery wrote: > I just found https://bugs.debian.org/838777, which says packages that only > provide a window manager without a mechanism for launching programs should > not register as x-window-manager See also https://bugs.debian.org/1004522 in which

Bug#975631: debian-policy: window manager: remove reference to Debian menu

2022-09-20 Thread Russ Allbery
Russ Allbery writes: > I considered whether instead of starting with a priority of 40, we > should instead bump the priority if the window manager supports the > desktop specification, but I think this is a place where the structure > of X environments has changed over the years. It used to be

Bug#975631: debian-policy: window manager: remove reference to Debian menu

2022-09-19 Thread Sean Whitton
control: tag -1 + pending Hello, On Sun 18 Sep 2022 at 07:53PM -07, Russ Allbery wrote: > Ansgar writes: > >> Section 11.8.4 "Packages providing a window manager" still references >> the Debian menu. But the Debian menu is deprecated. > >> I suggest to remove the reference, for example with

Processed: Re: Bug#975631: debian-policy: window manager: remove reference to Debian menu

2022-09-19 Thread Debian Bug Tracking System
Processing control commands: > tag -1 + pending Bug #975631 [debian-policy] debian-policy: window manager: remove reference to Debian menu Added tag(s) pending. -- 975631: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975631 Debian Bug Tracking System Contact ow...@bugs.debian.org with

Bug#975631: debian-policy: window manager: remove reference to Debian menu

2022-09-18 Thread Russ Allbery
Ansgar writes: > Section 11.8.4 "Packages providing a window manager" still references > the Debian menu. But the Debian menu is deprecated. > I suggest to remove the reference, for example with the patch below. > --- a/policy/ch-customized-programs.rst > +++

Bug#975631: debian-policy: window manager: remove reference to Debian menu

2020-11-24 Thread Ansgar
Package: debian-policy Version: 4.5.1.0 Severity: normal Tags: patch Section 11.8.4 "Packages providing a window manager" still references the Debian menu. But the Debian menu is deprecated. I suggest to remove the reference, for example with the patch below. Ansgar ---