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

  • itappearsthat [he/him]
    ·
    3 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]
      ·
      3 months ago

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

      • itappearsthat [he/him]
        ·
        3 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]
          ·
          3 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 [he/him]
            ·
            3 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