diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-01-29T17·14-0500 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2021-01-29T21·47+0000 |
| commit | 892c51caa6c95d4863fa25bb12a87897927f7843 (patch) | |
| tree | 3045d053f04d314578769173fa89586487379da3 /users/glittershark | |
| parent | 4856643282210b5d58130c8441929182552cc45f (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')
| -rw-r--r-- | users/glittershark/emacs.d/config.el | 4 |
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)) |