Evil-mode (#36)

This commit is contained in:
Patrick Stevens
2024-03-25 23:55:45 +00:00
committed by GitHub
parent 7b14690664
commit 028817765e

View File

@@ -273,10 +273,15 @@
programs.emacs = {
enable = true;
package = nixpkgs.emacs;
extraPackages = epkgs: [];
extraPackages = epkgs: [epkgs.evil];
extraConfig = ''
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))
(require 'evil)
(evil-mode 1)
(evil-set-undo-system 'undo-redo)
;; Allow hash to be entered
(global set-key (kbd "M-3") '(lambda () (interactive) (insert "#")))
'';
};