| 3 Sep 2022 |
 ribosomerocker | thank you so very much | 18:36:26 |
 k0kada (he/him) | And what I mean correctly, is that DOOMDIR should be set to a config directory that is compatible with your current config | 18:36:36 |
| k0kada (he/him) | This is why it is mostly meant to debugging usage | 18:36:44 |
| k0kada (he/him) | Because they line between a config that is compatible with your current config and one that is not is very thin | 18:37:04 |
| k0kada (he/him) | * Because the line between a config that is compatible with your current config and one that is not is very thin | 18:37:11 |
| ribosomerocker | though, I really want to use idris2-mode, so seeing that NDE only work without it, it makes me sad | 18:37:30 |
| k0kada (he/him) | Basically, any change that needs a doom sync is what I meant for "incompatible" | 18:37:44 |
| k0kada (he/him) | In reply to @mon:tchncs.de
though, I really want to use idris2-mode, so seeing that NDE only work without it, it makes me sad Well, there is nothing in NDE that would make "idris2-mode` incompatible | 18:38:07 |
| ribosomerocker | ah, did you only comment it to make it build faster? | 18:38:32 |
| k0kada (he/him) | No, it is just that it is not building for some reason that I don't want to debug | 18:38:55 |
| k0kada (he/him) | It probably can be fixed | 18:39:04 |
| k0kada (he/him) | But to be clear, this is not the fault of NDE at all | 18:39:18 |
| ribosomerocker | i see | 18:39:22 |
| k0kada (he/him) | We are just reusing the build system from nixpkgs itself | 18:39:29 |
| ribosomerocker | yeah, ckie told me that trivialBuild is from nixpkgs | 18:39:54 |
 ckie (they/them) | don't recall saying that | 18:40:06 |
| ribosomerocker | oh, i must be misremembering then | 18:40:24 |
| k0kada (he/him) | I think I said it, but it is AFAIK | 18:40:32 |
| k0kada (he/him) | $ rg trivialBuild
pkgs/top-level/emacs-packages.nix
81: trivialBuild = pkgs.callPackage ../build-support/emacs/trivial.nix {
| 18:40:54 |
| k0kada (he/him) | This is from my nixpkgs clone BTW | 18:41:04 |
| ribosomerocker | either way, how would I go around debugging why idris2-mode doesnt work? or is that for you guys to work out? | 18:41:18 |
| k0kada (he/him) | Without trying to sound disrespectful, why would we try to debug it? | 18:42:18 |
| k0kada (he/him) | I mean, I don't really have too much interest in this specific package | 18:42:31 |
| ribosomerocker | yeah, i understand | 18:42:43 |
| k0kada (he/him) | In reply to @k0kada:matrix.org
Fixing the hash, I got:
nix build .#nixosConfigurations.nixos.config.home-manager.users.mon.programs.doom-emacs.package
warning: Git tree '/tmp/nixos-config' is dirty
error: builder for '/nix/store/fvqxnfrfn8i7lagp2bkrgxbls2jbxcxv-emacs-idris2-mode-0.0.0.drv' failed with exit code 1;
last 10 log lines:
> idris2-warnings.el:77:2: Warning: docstring wider than 80 characters
>
> In toplevel form:
> inferior-idris2.el:78:2: Warning: defvar `idris2-load-packages' docstring wider than 80 characters
>
> In idris2-eval-async:
> inferior-idris2.el:308:2: Warning: docstring wider than 80 characters
>
> In idris2-get-idris2-version-string:
> inferior-idris2.el:410:2: Warning: docstring wider than 80 characters
For full logs, run 'nix log /nix/store/fvqxnfrfn8i7lagp2bkrgxbls2jbxcxv-emacs-idris2-mode-0.0.0.drv'.
error: 1 dependencies of derivation '/nix/store/lfz4rda6nm1xm1kggjkbivj1w53irmql-install-repo.drv' failed to build
error: 1 dependencies of derivation '/nix/store/jbradj5jzkppxvsipgkcx79ww3fidakz-straight-emacs-env.drv' failed to build
error: 1 dependencies of derivation '/nix/store/vlz6xgqfzhj0nxvid1vb55vrqvvl4qvk-emacs-pgtk-native-comp-with-packages-20220828.0.drv' failed to build
Still, the error looks kinda easy to fix | 18:43:20 |
| ribosomerocker | thank you both so so so very much for your time, and i'm sorry for being so unexperienced 😆 | 18:43:46 |
| k0kada (he/him) | Assuming the build is failing because of those docstring errors (that I really think they're not) | 18:43:50 |
| k0kada (he/him) | 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 | 18:45:05 |
| ribosomerocker | 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 | 18:46:07 |
| ribosomerocker | hopefully i'll be able to learn enough to fix things by myself, though! | 18:46:24 |
