Guillem Jover <guil...@debian.org> writes: > On Mon, 2023-05-08 at 08:48:49 -0700, Russ Allbery wrote:
>> […] I suspect Policy should say something stronger and more general, >> namely that no package in Debian should divert a file from another >> package unless this is arranged cooperatively between the packages to >> solve some specific (unusual) problem. > ,--- §3.9 --- > You should not use "dpkg-divert" on a file belonging to another > package without consulting the maintainer of that package first. When > adding or removing diversions, package maintainer scripts must provide > the "--package" flag to "dpkg-divert" and must not use "--local". > `--- Oh, thank you! I had completely forgotten that we said something about this under maintainer scripts. That doesn't entirely cover this case (because systemd and udev may not be "that package" in this sense), but it covers much of the general case. -- Russ Allbery (r...@debian.org) <https://www.eyrie.org/~eagle/>
