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

[Michael Osipov]

On Fri, 24 Mar 2023 16:08:30 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> src/java.base/share/classes/jdk/internal/util/OperatingSystem.java line 66:
>> 
>>> 64: 
>>> 65:     /**
>>> 66:      * The Linux Operating system.
>> 
>> For the sake if completeness, Linux isn't an operating system, so this statement isn't correct.
>
> A bit of a quibble, several internet sources identify Linux as an operating system (including Redhat).

Well, no. It is just a kernel. Without a userland not an OS. That is why they call it GNU/Linux. Kernel + userland.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147826504