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
Attachment:
signature.asc
Description: OpenPGP digital signature