**see shy jo** @joeyh@octodon.social · Apr 24, 2018, 21:41

**see shy jo** @joeyh@octodon.social · Apr 24, 2018, 21:41

see shy jo @joeyh@octodon.social

Android is my least-favorite linux distribution.

**Sean R. Lynch ☑️** @seanl · 2018-04-24T21:47:06Z

@joeyh I'm pretty sure it's every Linux user except Rob Landley's least favorite distro. And yet it still manages to be the most popular Linux distribution due to the fact that Android users who use no other distro outnumber users of all other Linux distros put together by about 10:1.

Apr 24, 2018, 21:47 · 0 · 0

**Ucodi** @daycode@mastodon.social · Apr 24, 2018, 22:05

**Ucodi** @daycode@mastodon.social · Apr 24, 2018, 22:05

@seanl
Android run on top of linux, but I don't think we can talk of it as a linux distribution 🤔
@joeyh

**Sean R. Lynch ☑️** @seanl · Apr 24, 2018, 22:07

**Sean R. Lynch ☑️** @seanl · Apr 24, 2018, 22:07

@daycode @joeyh What makes any Linux distribution a Linux distribution, then? Or maybe it's what it *doesn't* have, i.e. a binding to its own runtime platform in the form of Dalvik and the Android APIs?

**Sean R. Lynch ☑️** @seanl · Apr 24, 2018, 22:08

**Sean R. Lynch ☑️** @seanl · Apr 24, 2018, 22:08

@daycode @joeyh If it runs on top of Linux, what distro does it run on?

I guess ChromeOS isn't a Linux distro by that definition either, but it runs on Gentoo.