> this really shows the value in the name "GNU/Linux" for the desktop distros and such vs "Android/Linux"
I don't really agree. For desktop users, the DE matters a lot more than who made `cp`. For server users, the distro matters more because of the particular weirdness of each.
I don't really agree. For desktop users, the DE matters a lot more than who made `cp`. For server users, the distro matters more because of the particular weirdness of each.