In reply to @k0kada:matrix.org

diff --git a/doom/modules/lang/idris2/config.el b/doom/modules/lang/idris2/config.el
index 2b144e9..3db1bd5 100644
--- a/doom/modules/lang/idris2/config.el
+++ b/doom/modules/lang/idris2/config.el
@@ -1,16 +1,16 @@
 ;;; lang/idris2/config.el -*- lexical-binding: t; -*-
 
-(use-package! idris2-mode
-  :mode ("\\.l?idr\\'" . idris2-mode)
-  :config
+; (use-package! idris2-mode
+;   :mode ("\\.l?idr\\'" . idris2-mode)
+;   :config
 
-  (after! lsp-mode
-    (add-to-list 'lsp-language-id-configuration '(idris2-mode . "idris2"))
+;   (after! lsp-mode
+;     (add-to-list 'lsp-language-id-configuration '(idris2-mode . "idris2"))
 
-    (lsp-register-client
-     (make-lsp-client
-      :new-connection (lsp-stdio-connection "idris2-lsp")
-      :major-modes '(idris2-mode)
-      :server-id 'idris2-lsp)))
+;     (lsp-register-client
+;      (make-lsp-client
+;       :new-connection (lsp-stdio-connection "idris2-lsp")
+;       :major-modes '(idris2-mode)
+;       :server-id 'idris2-lsp)))
 
-  (add-hook 'idris2-mode-hook #'lsp!))
+;   (add-hook 'idris2-mode-hook #'lsp!))
diff --git a/doom/modules/lang/idris2/packages.el b/doom/modules/lang/idris2/packages.el
index df843d9..7b9cb63 100644
--- a/doom/modules/lang/idris2/packages.el
+++ b/doom/modules/lang/idris2/packages.el
@@ -1,4 +1,4 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/idris2/packages.el
 
-(package! idris2-mode :recipe (:host github :repo "idris-community/idris2-mode"))
+;;(package! idris2-mode :recipe (:host github :repo "idris-community/idris2-mode"))
diff --git a/home.nix b/home.nix
index d7e8147..5c400a1 100644
--- a/home.nix
+++ b/home.nix
@@ -205,17 +205,17 @@
       doomPrivateDir = ./doom;
       emacsPackage = pkgs.emacsPgtkNativeComp;
       emacsPackagesOverlay = self: super: {
-        idris2-mode = self.trivialBuild {
-          pname = "idris2-mode";
-          ename = "idris2-mode";
-          version = "0.0.0";
-          src = pkgs.fetchFromGitHub {
-            owner = "idris-community";
-            repo = "idris2-mode";
-            rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
-            sha256 = "sha256-l0cDaMa5qUpIbVT4203tAUA2Ta0O9I15vHSl9fwXKks=";
-          };
-        };
+        # idris2-mode = self.trivialBuild {
+        #   pname = "idris2-mode";
+        #   ename = "idris2-mode";
+        #   version = "0.0.0";
+        #   src = pkgs.fetchFromGitHub {
+        #     owner = "idris-community";
+        #     repo = "idris2-mode";
+        #     rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
+        #     sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
+        #   };
+        # };
       };
     };

With this patch your config works fine for me

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

$ rg trivialBuild
pkgs/top-level/emacs-packages.nix
81:    trivialBuild = pkgs.callPackage ../build-support/emacs/trivial.nix {

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