Hacker News Reader

> - "Linux" is bad because Android is Linux.

If you are being precise, Android is not Linux (and neither is Debian for that matter). It is an operating system that uses the Linux kernel.

> The best I've been able to come up with is something like "user-controlled Linux" or "community OS" or even just "not Android", but I'd really prefer a better term.

Here is my proposal, we continue to call operating systems like those "Linux" and call operating systems like Android and ChromeOS "Operating systems that use the Linux kernel".

No reason to give the common and useful definition an awkward name like "Community OS" just to allow the abberant cases to continue to reside within the "Linux" definition.

Or simply use the old term GNU/Linux wherever appropriate.

Well, Alpine wouldn't fit that definition but is still a user-controlled Linux.

Android officially does not support Linux APIs for userspace.

https://developer.android.com/ndk/guides/stable_apis

Applications deployed via Play Store might crash and burn by ignoring this fact, which is a reason why termux nowadays must be sideloaded.

Another term I've seen used is "traditional Linux distributions" as opposed to locked-down/less general purpose like Android and Chrome OS.

Oh yeah. I've landed on the (slightly weird) "GNU-like Mobile Linux".