| 3 Sep 2022 |
 k0kada (he/him) | http://ix.io/49zx
This may help you 👆️ | 18:46:36 |
| k0kada (he/him) | The whole build log | 18:46:43 |
| k0kada (he/him) | In toplevel form:
idris2-tests.el:27:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-tree-info.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-warnings-tree.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
Thjhis looks like the problem for me
| 18:46:56 |
| k0kada (he/him) | * In toplevel form:
idris2-tests.el:27:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-tree-info.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
In toplevel form:
idris2-warnings-tree.el:29:2: Error: Cannot open load file: No such file or directory, prop-menu
This looks like the problem for me
| 18:47:02 |
| k0kada (he/him) | So I am assuming that maybe you need to add this prop-menu as a buildInputs? | 18:47:17 |
 ribosomerocker | oh yeah, that could be it | 18:47:56 |
| k0kada (he/him) | diff --git a/home.nix b/home.nix
index d7e8147..0240351 100644
--- a/home.nix
+++ b/home.nix
@@ -209,11 +209,12 @@
pname = "idris2-mode";
ename = "idris2-mode";
version = "0.0.0";
+ buildInputs = [ self.prop-menu ];
src = pkgs.fetchFromGitHub {
owner = "idris-community";
repo = "idris2-mode";
rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
- sha256 = "sha256-l0cDaMa5qUpIbVT4203tAUA2Ta0O9I15vHSl9fwXKks=";
+ sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
};
};
};
Enjoy!
| 18:49:09 |
| k0kada (he/him) | At least it finished building idris2-mode | 18:49:23 |
| k0kada (he/him) | Didn't wait until it finishes the whole compilation | 18:49:39 |
| ribosomerocker | alright! i'll close my issue | 18:50:05 |
| ribosomerocker | thank you both so much once again | 18:50:13 |
| k0kada (he/him) | In reply to @mon:tchncs.de
yeah, i only have 4 commits in nixpkgs and i really only have been using doom emacs for about a year by now, so i'm not that experienced Before using NDE I was a doom-emacs user for 3 years, submitted a bunch of patches for it. Also I only started using NDE after I got commit access to nixpkgs (and this was after I did a few big refactors in NixOS, so I got really comfortable with Nix code) | 18:51:50 |
| k0kada (he/him) | I tried to use NDE before but got looked in a bunch of issues that I didn't know how to debug :P | 18:52:24 |
| k0kada (he/him) | I am not saying that you need to be a commiter in nixpkgs to use it, it is just that I think you really need to be a advanced user to understand it | 18:53:03 |
| k0kada (he/him) | But like I said, not sure about the opinion from ckie (they/them) | 18:53:17 |
| k0kada (he/him) | This is just my opinion | 18:53:24 |
| k0kada (he/him) | * I tried to use NDE before but got locked in a bunch of issues that I didn't know how to debug :P | 18:53:42 |
 mei 🌒& | In reply to @k0kada:matrix.org
I am not sure what is the opinion from ckie (they/them), but at least for me NDE is really a project for someone that has experience in both Nixpkgs and Doom-Emacs there was a ~year between me adding a imperative doom to my config and starting to play with the vlaci repo | 18:54:38 |
| mei 🌒& | In reply to @k0kada:matrix.org
I am not sure what is the opinion from ckie (they/them), but at least for me NDE is really a project for someone that has experience in both Nixpkgs and Doom-Emacs * there was a ~year between me adding a imperative doom to my config and starting to play with the vlaci repo | 18:55:03 |
| ribosomerocker | i'm rebuilding my config with the changes now, hopefully doom works enough now | 18:55:32 |
| ribosomerocker | * i'm rebuilding my config with the changes now, hopefully doom works after it finishes | 18:55:43 |
| k0kada (he/him) | In reply to @ckie:ckie.dev
there was a ~year between me adding a imperative doom to my config and starting to play with the vlaci repo Oh yeah, I also had a kinda of nixified but not really configuration of doom in my config files before migrating to NDE | 18:56:05 |
| ribosomerocker | and after this i'll work on the docs changes i've been promising haha | 18:56:10 |
| k0kada (he/him) | The only reason I migrated to NDE was because I hated to run doom sync after every new version of Emacs (and since I use emacsPgtkNativeCompile, this would mean every other day) | 18:56:47 |
| mei 🌒& | mon_aaraj: no pressure | 18:56:55 |
| k0kada (he/him) | At least now, I can build my config in my CI | 18:57:01 |
| mei 🌒& | k0kada: i think i was just upset by it not being in my nix config | 18:57:22 |
| k0kada (he/him) | Now I really enjoy using NDE, but my original reason was less pure | 18:57:28 |
| mei 🌒& | 111 commits with "doom" in the message! | 18:57:47 |
| k0kada (he/him) | Huh... Let's see mine... | 18:58:08 |
