Mattia Rizzolo: > On Sun, Sep 06, 2020 at 10:53:05PM +0200, Christian Kastner wrote: > [...] >> Or do dpkg or debhelper apply some kind of mapping logic from _OPTIONS >> to _PROFILES for the popular options nocheck, nodoc, noopt? > > debhelper does. various helpers do things differently with such > options. You should read the manpages for more details. >
It does not in the general case. It does for nodoc because $HISTORICAL_REASONS. >> Or are we supposed to transition to just _PROFILES in the long term? > > There were talks around that with the people involved in writing up the > _PROFILES spec, not sure where that go (nowhere I think). > I think it would make sense for us (Debian) to look at migrating some of these use cases to rely solely on _PROFILES. I dislike us having to stick with a permanent papercut because we invented _PROFILES after _OPTIONS (as one of many "semi-permanent papercuts" in Debian packaging that I would like to remove eventually). ~Niels