On Wed, Nov 11, 2020 at 07:57:36AM +1100, Brian May wrote: > It would be good if it was possible to override the default somehow. > e.g. via another command line argument.
You should be able to do that with -D already. Regardless, the only good solution regarding this specific set of issues is to have a distro-info-data being updated regularly, like ubuntu does but for whatever reason in Debian we are not buying it :( (that's also missing https://bugs.debian.org/782685 for what LTS is concerned) -- regards, Mattia Rizzolo GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`. More about me: https://mapreri.org : :' : Launchpad user: https://launchpad.net/~mapreri `. `'` Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature