Seconded. Thanks for dealing with this, sorry for the trouble.
Editorial: s/a exception/an exception/?
On Wed, Feb 26, 2025 at 08:33:46PM +0800, Sean Whitton wrote:
("may" and "encouraged" here have their official Policy meanings)
--8<---------------cut here---------------start------------->8---
diff --git a/policy/ch-files.rst b/policy/ch-files.rst
index 6fda3b1..c2e4700 100644
--- a/policy/ch-files.rst
+++ b/policy/ch-files.rst
@@ -19,6 +19,13 @@ to the ``debian-devel`` mailing list and try to find a consensus about
which program will have to be renamed. If a consensus cannot be reached,
*both* programs must be renamed.
+There is a exception to the above rules for ``/usr/games``: packages that +already install programs to ``/usr/games``, where another package installs a
+program of the same with different functionality to a different directory on
+the default ``PATH``, may continue to do so. However, packages must not +install any newly conflicting programs to ``/usr/games``, and packages already
+doing so are encouraged to move these programs to non-conflicting names.
+
Packages must not install files to paths whose first component is a name
directly under the file system root and which is a symbolic link to a
directory of the same name under ``/usr``. That is, packages must not install
--8<---------------cut here---------------end--------------->8---
seconded, thanks.
Therefore I am seeking seconds for the following patch.
("may" and "encouraged" here have their official Policy meanings)
--8<---------------cut here---------------start------------->8---
diff --git a/policy/ch-files.rst b/policy/ch-files.rst
index 6fda3b1..c2e4700 100644
--- a/policy/ch-files.rst
+++ b/policy/ch-files.rst
@@ -19,6 +19,13 @@ to the ``debian-devel`` mailing list and try to find a consensus about
which program will have to be renamed. If a consensus cannot be reached,
*both* programs must be renamed.
+There is a exception to the above rules for ``/usr/games``: packages that +already install programs to ``/usr/games``, where another package installs a +program of the same with different functionality to a different directory on +the default ``PATH``, may continue to do so. However, packages must not +install any newly conflicting programs to ``/usr/games``, and packages already
+doing so are encouraged to move these programs to non-conflicting names.
+
Packages must not install files to paths whose first component is a name
directly under the file system root and which is a symbolic link to a
directory of the same name under ``/usr``. That is, packages must not install
--8<---------------cut here---------------end--------------->8---
("may" and "encouraged" here have their official Policy meanings)
--8<---------------cut here---------------start------------->8---
diff --git a/policy/ch-files.rst b/policy/ch-files.rst
index 6fda3b1..c2e4700 100644
--- a/policy/ch-files.rst
+++ b/policy/ch-files.rst
@@ -19,6 +19,13 @@ to the ``debian-devel`` mailing list and try to find a consensus about
which program will have to be renamed. If a consensus cannot be reached, *both* programs must be renamed.
+There is a exception to the above rules for ``/usr/games``: packages that >+already install programs to ``/usr/games``, where another package installs a >+program of the same with different functionality to a different directory on >+the default ``PATH``, may continue to do so. However, packages must not >+install any newly conflicting programs to ``/usr/games``, and packages already
+doing so are encouraged to move these programs to non-conflicting names.
+
Packages must not install files to paths whose first component is a name directly under the file system root and which is a symbolic link to a directory of the same name under ``/usr``. That is, packages must not install
--8<---------------cut here---------------end--------------->8---
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (2 / 14) |
Uptime: | 47:57:31 |
Calls: | 10,397 |
Calls today: | 5 |
Files: | 14,066 |
Messages: | 6,417,282 |
Posted today: | 1 |