[riot-notifications] [RIOT-OS/RIOT] tools/dhcpv6-pd_ia: add Linux Mint to installer (#16410)
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...
More information about the notifications