summaryrefslogtreecommitdiffstats
path: root/init.org
diff options
context:
space:
mode:
Diffstat (limited to 'init.org')
-rw-r--r--init.org11
1 files changed, 11 insertions, 0 deletions
diff --git a/init.org b/init.org
index 7127c0e..cf0a96c 100644
--- a/init.org
+++ b/init.org
@@ -931,6 +931,17 @@ TODO: break this giant source block down into individual org sections.
(setq undo-tree-mode-lighter ""))
#+end_src
+* Syntax and spell checking
+#+begin_src emacs-lisp
+(use-package flycheck
+ :hook (prog-mode . flycheck-mode)
+ :config
+ ;; Use the load-path from running Emacs when checking elisp files
+ (setq flycheck-emacs-lisp-load-path 'inherit)
+
+ ;; Only flycheck when I actually save the buffer
+ (setq flycheck-check-syntax-automatically '(mode-enabled save)))
+#+end_src
* Programming modes
** [[https://github.com/leanprover/lean-mode][Lean]]