Hi, Sean Whitton wrote: > The latest version of the FHS does not have /usr/games, so merging this > with the bug about updating our FHS version.
Meh. >From my point of view we should continue to keep /usr/games/ for games as that helps to distinguish games from tools with the same name — which occassionally is necessary. Most prominent case: pacman — on the one hand the well-known game and on the other hand ArchLinux's package manager which is not (yet) packaged for Debian, but referred to in several tools packaged for Debian. Removing /usr/games/ from Debian would reopen the following two bugs without trivial solutions, i.e. requiring to explicitly remove upstream code instead of just removing /usr/games/ from $PATH. * neofetch: Starts the game pacman upon invocation (https://bugs.debian.org/845629) * needrestart: bug-script runs /usr/games/pacman when trying to use ArchLinux's pacman package manager /etc/needrestart/hook.d/30-pacman (https://bugs.debian.org/752114) Regards, Axel -- ,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/ : :' : | Debian Developer, ftp.ch.debian.org Admin `. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5 `- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE