[riot-notifications] [RIOT-OS/RIOT] tools/dhcpv6-pd_ia: add Linux Mint to installer (#16410)

Martine Lenders notifications at github.com
Mon May 3 10:43:52 CEST 2021

I don't have anything against it. Note however, that for Ubuntu itself, `ID_LIKE` is `debian`. Also we should be clear on when to use `NAME` and when to use `ID_LIKE`. Otherwise, the solution might become too hacky and thus less portable.

> The patch doesn't work because `system = cls._get_linux_distro()` return `LinuxMint` instead of `Linux Mint`
> Did I miss something ?

Maybe this comes from `platform.system()` not `/etc/os-release`?

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210503/f587c32d/attachment.htm>

More information about the notifications mailing list