[submodule "epkg"]
path = lib/epkg
url = git@github.com:emacscollective/epkg.git
+[submodule "epl"]
+ path = lib/epl
+ url = git@github.com:cask/epl.git
[submodule "exec-path-from-shell"]
path = lib/exec-path-from-shell
url = git@github.com:purcell/exec-path-from-shell.git
[submodule "packed"]
path = lib/packed
url = git@github.com:emacscollective/packed.git
+[submodule "pkg-info"]
+ path = lib/pkg-info
+ url = git@github.com:lunaryorn/pkg-info.el.git
[submodule "popup"]
path = lib/popup
url = git@github.com:auto-complete/popup-el.git
(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]]
--- /dev/null
+Subproject commit 78ab7a85c08222cd15582a298a364774e3282ce6
--- /dev/null
+Subproject commit 76ba7415480687d05a4353b27fea2ae02b8d9d61