From d4a750aba70bd28627aa67c684e0e16e0c68537d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 18 Feb 2023 16:50:27 +0000 Subject: Add agda and zig mode --- init.el | 17 +++++++++++++++-- 1 file 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)) -- cgit