| 1 Sep 2022 |
 ribosomerocker | In reply to@k0kada:matrix.org
BTW, https://github.com/nix-community/nix-doom-emacs/issues/259#issuecomment-1234110704
Using the flake.nix/overrides.nix is probably the easiest way to fix this if you're familiar with Flakes already
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 | 15:35:56 |
| ribosomerocker | In reply to@k0kada:matrix.org
Just push the changes in a separate branch * alright, here you go: https://git.sr.ht/~monaaraj/nixos-config/tree/doom
(this might be confusing, I've named the branch doom, and the folder that i put my doom configuration is doom haha) | 15:37:36 |
 mei 🌒& | git is not pleased | 15:41:32 |
| mei 🌒& | 
Download image.png | 15:41:33 |
| mei 🌒& | seems that's just git-checkout and there's a way around it but yeah | 15:41:52 |
| ribosomerocker | ah, so the thing about being both a branch and a folder also annoys git | 15:42:01 |
| mei 🌒& | 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 |
| mei 🌒& | 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 |
| mei 🌒& | 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 |
| mei 🌒& | --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 |
| mei 🌒& | 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 |
