Re: dh: Install binaries to /usr/games if Section=games

2015-09-02 Thread Julien Cristau
On Mon, Aug 31, 2015 at 22:17:33 +0200, Niels Thykier wrote: > I think Debian Policy should consider relaxing the "should" in §11.11 > (btw, is that normative even when written in lowercase?). > Debian Policy doesn't use RFC's uppercase SHOULD/MUST/MAY anywhere... Cheers, Julien signature.asc

Bug#567033: dh: Install binaries to /usr/games if Section=games

2015-08-31 Thread Moritz Mühlenhoff
On Mon, Aug 31, 2015 at 09:34:26PM +0200, Niels Thykier wrote: > Control: tags -1 moreinfo > > On Tue, 26 Jan 2010 20:56:26 +0100 Moritz Muehlenhoff > wrote: > > Package: debhelper > > Version: 7.4.11 > > Severity: wishlist > > > > AFAICS dh is designed to automate as much as possible. It would

Bug#567033: dh: Install binaries to /usr/games if Section=games

2015-08-31 Thread Markus Koschany
> Yes, we still install all binaries for games to /usr/games and static > content to /usr/share/games. The use is optional according to the FHS > but the Policy recommends the use of /usr/games and really questioned or ^^^ oops, forgot a "nob

Processed: Re: dh: Install binaries to /usr/games if Section=games

2015-08-31 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 debian-policy Bug #567033 [debhelper] dh: Install binaries to /usr/games if Section=games Bug reassigned from package 'debhelper' to 'debian-policy'. No longer marked as found in versions debhelper/7.4.11. Ignoring request to alte

Re: dh: Install binaries to /usr/games if Section=games

2015-08-31 Thread Niels Thykier
Control: reassign -1 debian-policy Control: retitle -1 debian-policy: Clarify status of /usr/games Hi Policy maintainers, I am reassigning this bug to you about whether /usr/games is still the best place to install games binaries. On 2015-08-31 21:57, Markus Koschany wrote: > Am 31.08.2015 um 21