On Mon, 08 May 2023 14:14:30 -0700 Russ Allbery <r...@debian.org> wrote: > 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.
Would you like me to reword/move the new snippet? -- Kind regards, Luca Boccassi
signature.asc
Description: This is a digitally signed message part
