RFR: 8303485: Replacing os.name for operating system customization [v6]

[David Holmes]

On 25/03/2023 3:06 am, Roger Riggs wrote:
> On Fri, 24 Mar 2023 16:53:05 GMT, Michael Osipov <duke at openjdk.org> wrote:
> 
>>> If you are referring to "Red Hat Enterprise Linux", it'd be correct (AFAIK) to say that Red Hat identifies "Red Hat Enterprise Linux" as an operating system, but I wouldn't go so far as to say that Red Hat calls "Linux" an operating system (well... subject to the reality of human inaccuracy). And the validity and correctness of the term "GNU/Linux" is *definitely* disputed (and likely always will be).
>>>
>>> Maybe "Operating systems based on the Linux kernel" would be satisfactory?
>>
>> That is acceptable, totally.
> 
> Not the rabbit-hole I expected to go down today or for an informal comment on an internal API.
> I have no skin in that game.
> https://www.redhat.com/en/topics/linux/what-is-linux

Also:

https://www.oracle.com/au/linux/

David