[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Re: Debian Policy 4.7.1.0 and program names



On Tue, Feb 25, 2025 at 01:11:51PM +0100, Chris Hofstaedtler wrote:
> Hi,
> 
> > Thanks for the raising this, Vincent, and for the analysis,
> > Michael.
> 
> > It sounds like we might need an exception for /usr/games.
> 
> I want to say that /usr/games was not on my radar when I suggested
> the policy change. I think (but did not check the history now) that
> the initial point was less generic than what we have now.
> 
> Nevertheless I think the generic text is a good idea. After all,
> what good is having programs with the same name in /usr/bin and
> /usr/games. 
> 
> I would propose the following:
> 
> 1) for trixie, recognise that this is not an RC bug or anything.
> 
> 2) for forky, try to merge /usr/games into /usr/bin.

What is the rationale for merging ? merging is different from mandating
different program names.

> I think (again without having checked) FHS previously had a strong
> opinion on /usr/games, but no longer does. In FHS 3.0, having
> /usr/games is optional.

Having games at all optionnal anyway, so the FHS cannot require
/usr/games to be available when no games are installed.

Cheers,
-- 
Bill. <ballombe@debian.org>

Imagine a large red swirl here. 


Reply to: