<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 10, 2020 at 11:09 AM Christian Mauderer <<a href="mailto:oss@c-mauderer.de">oss@c-mauderer.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 10/09/2020 00:25, Chris Johns wrote:<br>
> On 10/9/20 8:15 am, Joel Sherrill wrote:<br>
>> On Wed, Sep 9, 2020 at 4:06 PM Karel Gardas <<a href="mailto:karel.gardas@centrum.cz" target="_blank">karel.gardas@centrum.cz</a><br>
>> <mailto:<a href="mailto:karel.gardas@centrum.cz" target="_blank">karel.gardas@centrum.cz</a>>> wrote:<br>
>><br>
>> On 9/9/20 11:03 PM, Karel Gardas wrote:<br>
>> > so Debian, Kali and OpenSuSE at least are not well handled by this<br>
>> > script and it's quite fun since simple:<br>
>><br>
>> Can't judge author of the script. The post is from 2008! So I guess<br>
>> /etc/os-release was not so wide spread among the Linuxes at that time...<br>
>><br>
>> That looks promising and linux.py in rtems-toolkit should be easy to make do that.<br>
> <br>
> The code in linux.py that calls platform.dist() should be removed because the<br>
> call has been removed from Python 3 after 3.5.<br>
> <br>
> Chris<br>
<br>
You have seen that there exists a python pip package to find out the<br>
distribution:<br>
<br>
<a href="https://distro.readthedocs.io/en/latest/" rel="noreferrer" target="_blank">https://distro.readthedocs.io/en/latest/</a><br>
<br></blockquote><div><br></div><div>I assume we don't want to assume someone will use pip to load a package</div><div>to use the RSB or rtems-tools. Copying it into our tree gives us a package</div><div>that will periodically need to be updated.</div><div><br></div><div>Chris.. what do you want to do?</div><div><br></div><div>--joel</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Best regards<br>
<br>
Christian<br>
</blockquote></div></div>