Determining Linux Distribution

[Joel Sherrill]

Hi

Chris mentioned this and then the thread moved on. Based on reading a few
pages, each distribution has its own place to state the distribution name.
Which makes the problem a bit recursive.  But some nice soul put together a
shell script which is supposed to identify the distribution.

https://www.unix.com/shell-programming-and-scripting/27932-how-know-linux-distribution-i-am-using.html

I would suggest we all try this script on various distributions we have
access to and see how good it does. If it works, converting it into a
Python helper would be the next step.

It reports CentOS 7 as "centos"

--joel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20200909/ac4d924d/attachment.html>