Determining Linux Distribution
joel at rtems.org
Wed Sep 9 20:30:39 UTC 2020
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.
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"
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel