Quinn

it'd be really great if building `straight-emacs-env` could parallelize. I have one CPU on 100% and all the others on 1% through most of it

This seems cool! Can it be expected to help with https://github.com/nix-community/nix-doom-emacs/issues/421 / https://github.com/nix-community/nix-doom-emacs/issues/324 ?

Tried building with my `doom.d`, with the following flake ```nix { inputs = { nixpkgs.url = "github:nixos/nixpkgs"; nix-doom-emacs.url = "github:roman/nix-doom-emacs/roman/feat/doom-modules"; }; outputs = { self, nixpkgs, nix-doom-emacs }: let system...

should also be able to configure exactly which rustup and javac bins ought to be used.

I would like prusti to be sensitive to direnv (i tried fiddling a little with the vscode direnv options). I currently need a user-wide installation of rustup in order for...

Notice: you also need to not have `lean-company` installed to avoid this error.

I fixed this by thoroughly purging (with `doom purge`), since I had previously installed `lean-mode` and naively removing it didn't purge it thoroughly enough. So I'd expect people to keep...

Same. ``` Debugger entered--Lisp error: (error "The connected server(s) does not support method $/...") error("The connected server(s) does not support method %s..." "$/lean/plainGoal") lsp--send-request-async((:jsonrpc "2.0" :method "$/lean/plainGoal" :params (:textDocument (:uri...

https://github.com/nix-community/nix-doom-emacs: > ⚠ Broken > This project has been broken for more than a year due to Doom's excessive divergence from emacs-overlay's package set, which is not Doom's fault but...

(oops, duplicated) https://github.com/MatthewCroughan/nixinate/issues/31