Determining Linux Distribution

Christian Mauderer oss at
Thu Sep 10 16:08:59 UTC 2020

On 10/09/2020 00:25, Chris Johns wrote:
> On 10/9/20 8:15 am, Joel Sherrill wrote:
>> On Wed, Sep 9, 2020 at 4:06 PM Karel Gardas <karel.gardas at
>> <mailto:karel.gardas at>> wrote:
>>     On 9/9/20 11:03 PM, Karel Gardas wrote:
>>     > so Debian, Kali and OpenSuSE at least are not well handled by this
>>     > script and it's quite fun since simple:
>>     Can't judge author of the script. The post is from 2008! So I guess
>>     /etc/os-release was not so wide spread among the Linuxes at that time...
>> That looks promising and in rtems-toolkit should be easy to make do that.
> The code in that calls platform.dist() should be removed because the
> call has been removed from Python 3 after 3.5.
> Chris

You have seen that there exists a python pip package to find out the

Best regards


More information about the devel mailing list