On Mon, 2018-11-26 at 15:34 +0100, Stephan Seitz wrote: > On Mo, Nov 26, 2018 at 03:08:09 +0100, Marco d'Itri wrote: > > snapshot as well) would be hard and I disagree that the benefits of > > merged-/usr would be minor. > > There are no benefits of a merged /usr for users who don’t want to export > /usr via NFS or want to use clusters/docker images/etc. And this is the > majority of Debian users. > > So if a minority of users wants a merged /usr for their special cases > they can use your package. Many of the rules in Debian policy are there to support a minority of users, but we try to follow them anyway. Yesterday's special case (SMP, hotplug, mobile, 64-bit, ...) often becomes tomorrow's common case. Ben. -- Ben Hutchings Lowery's Law: If it jams, force it. If it breaks, it needed replacing anyway.
Description: This is a digitally signed message part