EVERY PIECE OF SOFTWARE NEEDS TO HAVE AN ENTIRE COPY OF GOOGLE CHROME IN IT TO DISPLAY A BASIC USER INTERFACE, HAVING 10 SLIGHTLY DIFFERNET VERSIONS OF ELECTRON INSTALLED AND LOADED INTO MEMORY IS THE OPTIMAL SYSTEM SETUP

  • ZWQbpkzl [none/use name]
    ·
    8 months ago

    As an Arch user, I think its high time for an environmental impact study on Gentoo users.

    • itappearsthat
      ·
      8 months ago

      I regret to tell you this was actually inspired by yay cloning the entire chromium repo while installing an AUR package

      • ZWQbpkzl [none/use name]
        ·
        8 months ago

        That AUR contributer deserves some sternly worded comments on the package.

        • itappearsthat
          ·
          8 months ago

          Without double-checking I'm pretty sure it was elan-lean but please check yourself before opening the hatemail cannons lol

          • ZWQbpkzl [none/use name]
            ·
            8 months ago

            I'm more concerned about the software you're trying to install than the AUR maintainer. A version manager for a functional language thats a theorem prover but also a programming language. Written in rust, © Microsoft. Wait elan is in rust, lean is in c++.

            Elan has a dependency that builds chrome. The AUR maintainer just runs cargo build.

            • itappearsthat
              ·
              8 months ago

              Ah, so it was that one! Unfortunate. Someone should probably tell them, although perhaps it's an upstream issue. Anyway Lean is really cool! There's a fun puzzle game people made with it here: https://adam.math.hhu.de/#/g/leanprover-community/nng4