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
> 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
Package: developers-reference
Version: 3.4.15
Severity: wishlist
Tags: l10n
Dear Maintainer,
i've prepared Russian translation of Debian Developer's Reference. Since I'm not
a DD yet and don't have write access to collab-maint, I'm asking to add my
translation into repository.
ru.po can be found
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 alter fixed versions of bug #
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
5 matches
Mail list logo
