Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-14 Thread Russ Allbery
Charles Plessy writes: > With the addition above, I call for seconds (patch attached). Markus, > please raise your hand if I was wrong to think that this addition > correctly addresses your comments. This looks great, Charles. Thank you. Seconded. -- Russ Allbery (r...@debian.org)

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-14 Thread Charles Plessy
Control: tag -1 patch Le Fri, Feb 14, 2014 at 03:09:48PM +0100, Markus Koschany a écrit : > > Seconded. > > Thank you for keeping me in the loop. I think the above wording is > sensible and addresses my concerns and those of others here in this > thread. Thanks for your work on the Policy. Many

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-14 Thread Markus Koschany
Hello Charles, On 14.02.2014 00:46, Charles Plessy wrote: [...] > In his original wording, Josselin proposed to add at the end of section 9.6 > one > sentence pointing to the Debian menu as an option. Here it is, rephrased to > replace “legacy window managers” by “window managers that do not sup

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-13 Thread Sune Vuorela
Hi On Friday 14 February 2014 08:46:01 Charles Plessy wrote: > Thanks also Markus for your comments during the last round of dicussion on > debian-devel. > In his original wording, Josselin proposed to add at the end of section 9.6 > one sentence pointing to the Debian menu as an option. Here it

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-13 Thread Cyril Brulebois
Charles Plessy (2014-02-14): > With the addition above, I call for seconds (patch attached). Markus, > please raise your hand if I was wrong to think that this addition > correctly addresses your comments. Since I know nothing about Multimedia handlers, and since I'm probably not going to learn t

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-13 Thread Lisandro Damián Nicanor Pérez Meyer
On Friday 14 February 2014 08:46:01 Charles Plessy wrote: [snip] > In his original wording, Josselin proposed to add at the end of section 9.6 > one sentence pointing to the Debian menu as an option. Here it is, > rephrased to replace “legacy window managers” by “window managers that do > not sup

Bug#707851: [call for seconds] Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-13 Thread Charles Plessy
Le Thu, Feb 13, 2014 at 11:32:43PM +0100, Sune Vuorela a écrit : > > I have the impression that most people seems to agree on something like this. > I think I might even stretch it and call it a 'rough consensus' with a couple > of people in the rough end of it. > > Can we please move it forwar

Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-02-13 Thread Sune Vuorela
Hi peoples I have the impression that most people seems to agree on something like this. I think I might even stretch it and call it a 'rough consensus' with a couple of people in the rough end of it. Can we please move it forward? Thanks Sune On Saturday 11 January 2014 11:46:10 Charles P

Bug#707851: Proposed changes on menu systems (was: Re: Bug#707851: Let's remove the Debian menu from the Debian Policy ?)

2014-01-25 Thread Charles Plessy
Dear all, there is an ongoing discussion about the documentation of menu systems on the debian-policy mailing list, which led to proposed changes and it was suggested to give them a better coverage. On part of the proposal is about the description of the FreeDesktop menu system and its integratio

Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-01-12 Thread Julian Gilbey
On Sat, Jan 11, 2014 at 11:46:10AM +0900, Charles Plessy wrote: > Hello everybody, > > I have read a lot of scepticism about the Debian menu in this thread, and no > actual support for it. Perhaps I was trying to be too consensual and proposed > an over-complicated solution while it is clear that

Bug#707851: Let's remove the Debian menu from the Debian Policy ?

2014-01-10 Thread Charles Plessy
Hello everybody, I have read a lot of scepticism about the Debian menu in this thread, and no actual support for it. Perhaps I was trying to be too consensual and proposed an over-complicated solution while it is clear that the FreeDesktop system is superior. I attached a new patch, where the De