• dartanjinn@lemm.ee
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 year ago

    TL;DR: ChromeOS is Linux but it’s not Linux but it’s a Linux so count it as a Linux but not Linux. Half.

    • lemming934@lemmy.sdf.org
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      1 year ago

      I guess this is a situation where the proper name of GNU / Linux is useful

      Edit: Chrome OS is is a GNU/ Linux and a couple of “proper” Linuxes are not.

        • fulano@lemmy.eco.br
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          1 year ago

          Such definitions are becoming more and more complicated. I think we should standardize a name for the family of systems we use, or it will become uglier and uglier.

          Recently, I had to write an academic work in the area, and an entire section was dedicated to explaining this controversy and defining what kind of system I was talking about, so that the work is reproducible.

      • atlasraven31@lemm.ee
        link
        fedilink
        English
        arrow-up
        1
        ·
        1 year ago

        You see sometimes Linux is not Linux and sometimes it is. Naturally, we can’t count non-Linux as Linux but sometimes we can count Linux as non-Linux.