Determining Linux Distribution
chrisj at rtems.org
Wed Sep 9 22:25:16 UTC 2020
On 10/9/20 8:15 am, Joel Sherrill wrote:
> On Wed, Sep 9, 2020 at 4:06 PM Karel Gardas <karel.gardas at centrum.cz
> <mailto:karel.gardas at centrum.cz>> 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 linux.py in rtems-toolkit should be easy to make do that.
The code in linux.py that calls platform.dist() should be removed because the
call has been removed from Python 3 after 3.5.
More information about the devel