Add agda and zig mode

1 files changed, 15 insertions, 2 deletions

diff --git a/init.el b/init.el
index ad228d9..29cbc68 100644
--- a/init.el
+++ b/init.el
@@ -154,7 +154,7 @@
   (dolist (c '(overwrite-mode narrow-to-region narrow-to-page upcase-region downcase-region))
     (put c 'disabled nil))
 
-  (set-face-attribute 'default nil :font "Iosevka YMHG SemiBold-12")
+  (set-face-attribute 'default nil :font "Iosevka YMHG SemiBold-14")
 
   (setq auto-mode-alist
         (append
@@ -362,7 +362,10 @@ https://yannherklotz.com"))
               ("g" . password-store-generate)))
 
 (use-package magit
-  :ensure t)
+  :ensure t
+  :init
+  (when ymh/macos-p
+    (setq magit-git-executable "/usr/local/bin/git")))
 
 (use-package org
   :init
@@ -917,6 +920,16 @@ https://yannherklotz.com"))
   :config
   (add-hook 'text-mode-hook #'darkroom-tentative-mode))
 
+(use-package agda2-mode
+  :if (executable-find "agda-mode")
+  :init
+  (load-file (let ((coding-system-for-read 'utf-8))
+               (shell-command-to-string "agda-mode locate"))))
+
+(use-package zig-mode
+  :if (executable-find "zig")
+  :ensure t)
+
 (setq gc-cons-threshold (* 1024 1024 10))
 
 (setq custom-file (expand-file-name "custom.el" user-emacs-directory))