| 1 Sep 2022 |
 ribosomerocker | ah, so the thing about being both a branch and a folder also annoys git | 15:42:01 |
 ckie (they/them; limited keyboard usage, voice preferred) | ckie@cookiemonster ~/git/mon-nixos -> git checkout --no-guess -b doom
Switched to a new branch 'doom'
| 15:42:13 |
| ribosomerocker | very nice | 15:42:19 |
 k0kada (he/him) | In reply to @mon:tchncs.de
yeah, i've seen that! it might be good to PR in or patch nix-doom-emacs to have idris2-mode, but i thought you guys would've liked it more if the default package override was close to normal doom-emacs dependencies, that and I dislike hacking on the main source code to implement my preference if I could implement it by using the API already provided I am from the opinion that you need to make things work first, and this is the easiest solution that I can think
Them knowing that it works you could either port to emacsPackagesOverlay or just use your fork forever :P
| 16:01:16 |
| k0kada (he/him) | I frequently have to switch to my own fork of NDE too | 16:01:39 |
| ribosomerocker | very well! i'll start trying to put it in overrides.nix, though i'm guessing i'll have the same error, but hopefully by that time you guys know what caused it | 16:11:40 |
| ckie (they/them; limited keyboard usage, voice preferred) | delayed here since my compute is being used up by other things | 16:18:29 |
| ribosomerocker | argh, it's really painful editing nix files without doom emacs :( | 18:02:27 |
| ribosomerocker | I believe I've made the change though; how do I test it? nix build doesn't seem to be ehllping | 18:07:33 |
| ribosomerocker | * I believe I've made the change though; how do I test it? nix build doesn't seem to be working | 18:08:45 |
| ribosomerocker | it's outputting:
error: flake 'git+file:///home/mon/projects/nix/nix-doom-emacs' does not provide attribute 'packages.x86_64-linux.default' or 'defaultPackage.x86_64-linux'
Did you mean package?
| 18:08:45 |
| ckie (they/them; limited keyboard usage, voice preferred) | well you have to somehow use it with your config, perhaps stick your config in a temp.nix | 19:27:47 |
| ribosomerocker | i get this: error: NAR hash mismatch in input 'git+file:///home/mon/projects/nix/nix-doom-emacs' (/nix/store/0pxikgh98ngvgvycr3fl3nnjhwfy37f4-source), expected 'sha256-V+qqtTu80Z/3SyXmgCvzi8OJuJv6CDR5bepzfkaY04M=', got 'sha256-X6yT1XpV6+GESYWW6FWun0pFjzdxqQMwvktjyJegzVg='
after making my nix-doom-emacs input to be my local version? | 20:13:44 |
| ribosomerocker | Alright, @ckie (they/them) @k0kada I'm helpless to fix this. I just tried to implement the same thing in overrides.nix as in my configuration and to my non-surprise, I got this error:
error: a 'aarch64-darwin' with features {} is required to build '/nix/store/a5dhhm5nhn936q5177nlv3fn3b4jvqly-source.drv', but I am a 'x86_64-linux' with features {benchmark, big-parallel, kvm, nixos-test}
| 20:34:04 |
| ckie (they/them; limited keyboard usage, voice preferred) | --show-trace? | 20:34:29 |
| ribosomerocker | Download show-trace.txt | 20:40:36 |
| ribosomerocker | this is the same error the one I got when I was just trying to install idris2-mode
oh, and here's show-trace | 20:40:40 |
| ribosomerocker | * this is the same error the one I got when I was just trying to install idris2-mode normall
oh, and here's show-trace | 20:40:46 |
| ribosomerocker | * this is the same error the one I got when I was just trying to install idris2-mode normally using emacsPackagesOverlay
oh, and here's show-trace | 20:41:50 |
| ckie (they/them; limited keyboard usage, voice preferred) | what are you invoking? | 20:41:58 |
| ribosomerocker | fetchFromGitHub | 20:42:17 |
| k0kada (he/him) | I would be really grateful if you can push your changes | 20:42:58 |
| k0kada (he/him) | I am kinda having to read your whole config because everything is commented | 20:43:13 |
| k0kada (he/him) | So I lost 10 minutes trying to understand why config.programs.emacs doesn't exist... | 20:43:30 |
| ribosomerocker | In reply to@k0kada:matrix.org
I would be really grateful if you can push your changes everything should be pushed to the doom branch | 20:44:09 |
| ribosomerocker | let me see | 20:44:31 |
| k0kada (he/him) | Ohhh, I see | 20:44:59 |
| k0kada (he/him) | Yeah, the fact that you named your branch the same as a file is really bad :P | 20:45:15 |
| ckie (they/them; limited keyboard usage, voice preferred) | In reply to @mon:tchncs.de
fetchFromGitHub no, the command used | 20:45:30 |
| ckie (they/them; limited keyboard usage, voice preferred) | In reply to @mon:tchncs.de
fetchFromGitHub * no, the command used to run the build | 20:45:35 |
