From 892c51caa6c95d4863fa25bb12a87897927f7843 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Fri, 29 Jan 2021 12:14:06 -0500 Subject: [PATCH] fix(gs/emacs): Don't try to load agda-mode It's not installed because it's broken right now Change-Id: I1bf198788fb90aabe3ba1a7b65399c3579983704 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2459 Reviewed-by: glittershark Tested-by: BuildkiteCI --- users/glittershark/emacs.d/config.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/users/glittershark/emacs.d/config.el b/users/glittershark/emacs.d/config.el index 3e0933f19..f43054c71 100644 --- a/users/glittershark/emacs.d/config.el +++ b/users/glittershark/emacs.d/config.el @@ -213,8 +213,8 @@ ;; `((,(rx "-- |") . 'haskell-keyword-face))) -(load-file (let ((coding-system-for-read 'utf-8)) - (shell-command-to-string "agda-mode locate"))) +;; (load-file (let ((coding-system-for-read 'utf-8)) +;; (shell-command-to-string "agda-mode locate"))) (defvar +grfn-dir (file-name-directory load-file-name)) (defvar +grfn-snippets-dir (expand-file-name "snippets/" +grfn-dir))