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
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
