From 028817765eb7bddd493d62426fc5a674d548f3b3 Mon Sep 17 00:00:00 2001
From: Patrick Stevens <3138005+Smaug123@users.noreply.github.com>
Date: Mon, 25 Mar 2024 23:55:45 +0000
Subject: [PATCH] Evil-mode (#36)

---
 home-manager/home.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/home-manager/home.nix b/home-manager/home.nix
index b039a36..4732cca 100644
--- a/home-manager/home.nix
+++ b/home-manager/home.nix
@@ -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 "#")))
     '';
   };