No more need to agda-mode locate

2025-10-08 16:08:39 +00:00 · 2021-11-04 21:42:17 +00:00
parent d483b6fa12
commit 1329700cd3
1 changed files with 4 additions and 0 deletions
--- a/home.nix
+++ b/home.nix
@@ -158,5 +158,9 @@ let g:syntastic_check_on_wq = 0''; }
    enable = true;
    package = pkgs.emacsGcc;
    extraPackages = (epkgs: []);
+    extraConfig = ''
+(load-file (let ((coding-system-for-read 'utf-8))
+           (shell-command-to-string "agda-mode locate")))
+    '';
  };
 }