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

[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:34 schrieb Niels Thykier:
> [...]
>> Hi,
>>
>> Are we still using /usr/games for games?  AFAICT, the use of /usr/games
>> is optional, so it is not clear to me that this desired?  The last I can
>> find on this in Debian is [1], which is 1½ years after this bug was filed.
> 
> 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
> changed that in the past years.
> 
> https://www.debian.org/doc/debian-policy/ch-customized-programs.html#s11.11
> 
> AFAIK, the next revision of the FHS will deprecate game specific paths
> but no idea how much progress has been done on this front.
> 
> Regards,
> 
> Markus
> 

If the current plans in FHS are to deprecate /usr/games, it seems
counter-productive to me to have debhelper start using it by default.
It will only serve to make the transition away from /usr/games even longer.

I think Debian Policy should consider relaxing the "should" in §11.11
(btw, is that normative even when written in lowercase?).

Thanks,
~Niels



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20150831/f25cb0dd/attachment.sig>