this post was submitted on 28 Mar 2024
85 points (100.0% liked)

technology

23316 readers
27 users here now

On the road to fully automated luxury gay space communism.

Spreading Linux propaganda since 2020

Rules:

founded 4 years ago
MODERATORS
 

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

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 11 points 7 months ago* (last edited 7 months ago) (2 children)

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

[–] [email protected] 6 points 7 months ago* (last edited 7 months ago) (1 children)

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

[–] [email protected] 3 points 7 months ago (1 children)

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

[–] [email protected] 2 points 7 months ago (1 children)

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.

[–] [email protected] 1 points 7 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

[–] [email protected] 6 points 7 months ago