Bug#1074014: encode mandatory merged-/usr into policy

2024-07-08 Thread Michael Biebl
On Fri, 21 Jun 2024 20:27:56 +0200 Helmut Grohne wrote: Package: debian-policy Version: 4.7.0.0 X-Debbugs-Cc: bl...@debian.org,m...@debian.org,mbi...@debian.org,z...@debian.org Hi, given the progress we have made with /usr-move and DEP17, I think it is time to consider encoding the changes

Bug#1074014: encode mandatory merged-/usr into policy

2024-07-06 Thread Holger Levsen
On Fri, Jun 21, 2024 at 08:27:56PM +0200, Helmut Grohne wrote: > For these reasons, I propose changing section 10.1 and encoding the > avoidance of symlink vs directory conflicts into policy. To get a > discussion going, I suggest the following update. > > - To support merged-/usr systems,

Bug#1074014: encode mandatory merged-/usr into policy

2024-07-06 Thread Chris Hofstaedtler
Control: tags -1 + patch Editors, if tagging + patch is not appropriate, my apologies. On Fri, Jun 21, 2024 at 08:27:56PM +0200, Helmut Grohne wrote: > For these reasons, I propose changing section 10.1 and encoding the > avoidance of symlink vs directory conflicts into policy. To get a >

Bug#1074014: encode mandatory merged-/usr into policy

2024-07-06 Thread Luca Boccassi
On Fri, 21 Jun 2024 20:27:56 +0200 Helmut Grohne wrote: > Package: debian-policy > Version: 4.7.0.0 > X-Debbugs-Cc: bl...@debian.org,m...@debian.org,mbi...@debian.org,z...@debian.org > > Hi, > > given the progress we have made with /usr-move and DEP17, I think it is > time to consider encoding

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-26 Thread Ansgar 
Hi, On Sat, 2024-06-22 at 09:42 +0200, Helmut Grohne wrote: > I have another question. Thorsten Glaser was unhappy about my mksh > report as he believes that it should be /bin/mksh and not /usr/bin/mksh. > I argued that the biggest concern is the symlink vs directory conflict > and he came up

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-24 Thread Luca Boccassi
On Sat, 22 Jun 2024 13:34:23 +0200 Chris Hofstaedtler wrote: > On Sat, Jun 22, 2024 at 09:42:27AM +0200, Helmut Grohne wrote: > > [..] he came up with a crazy solution where mksh's data.tar contains > > ./bin/mksh but not ./bin on the grounds that ./bin is provided by an > > essential package in

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-22 Thread Russ Allbery
Helmut Grohne writes: > Portability is one angle and certainly an important one. Spending > collective project resources is another one. I argue that changing these > paths beyond what is technically necessary is not a good use of our > time. So how about having policy recommend not changing

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-22 Thread Chris Hofstaedtler
On Sat, Jun 22, 2024 at 09:42:27AM +0200, Helmut Grohne wrote: > [..] he came up with a crazy solution where mksh's data.tar contains > ./bin/mksh but not ./bin on the grounds that ./bin is provided by an > essential package in all Debian releases. > I think this approach practically solves a

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-22 Thread Helmut Grohne
Hi Russ, On Fri, Jun 21, 2024 at 02:06:05PM -0700, Russ Allbery wrote: > I spent some time thinking about this, since I personally still wish > people wouldn't write /usr/bin/sh when they mean /bin/sh. I don't think > Policy should prohibit this since, among other reasons, we have no > effective

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-21 Thread Russ Allbery
Sam Hartman writes: >> "Helmut" == Helmut Grohne writes: > Helmut> 5. Given earlier disagreement on this > Helmut> matter, should we discuss this matter in a wider setting > Helmut> such as d-devel? > No, please no! > If there ends up being disagreement, the TC should use its

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-21 Thread Sam Hartman
> "Helmut" == Helmut Grohne writes: Helmut> Questions: 1. Do you agree that policy should be changed? Yes. The TC has effectively set policy here already, and while they did not use their power under 6.1.1 to actually officially set project policy, their position has

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-21 Thread Russ Allbery
Helmut Grohne writes: > given the progress we have made with /usr-move and DEP17, I think it is > time to consider encoding the changes into policy. As of this writing, > there are 216 source packages in unstable that still install into > aliased locations and their number has been dropping

Bug#1074014: encode mandatory merged-/usr into policy

2024-06-21 Thread Helmut Grohne
Package: debian-policy Version: 4.7.0.0 X-Debbugs-Cc: bl...@debian.org,m...@debian.org,mbi...@debian.org,z...@debian.org Hi, given the progress we have made with /usr-move and DEP17, I think it is time to consider encoding the changes into policy. As of this writing, there are 216 source