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  `-

Attachment: signature.asc
Description: PGP signature

Reply via email to