about summary refs log tree commit diff
path: root/users/glittershark/emacs.d
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2021-01-29T17·14-0500
committerglittershark <grfn@gws.fyi>2021-01-29T21·47+0000
commit892c51caa6c95d4863fa25bb12a87897927f7843 (patch)
tree3045d053f04d314578769173fa89586487379da3 /users/glittershark/emacs.d
parent4856643282210b5d58130c8441929182552cc45f (diff)
fix(gs/emacs): Don't try to load agda-mode r/2157
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 <grfn@gws.fyi>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/glittershark/emacs.d')
-rw-r--r--users/glittershark/emacs.d/config.el4
1 files changed, 2 insertions, 2 deletions
diff --git a/users/glittershark/emacs.d/config.el b/users/glittershark/emacs.d/config.el
index 3e0933f19e84..f43054c71772 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))