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. <[email protected]> Imagine a large red swirl here.

