From 284bbe783c54a46fea2dd240c6993f5fecad2640 Mon Sep 17 00:00:00 2001 From: Amin Bandali <amin@aminb.org> Date: Sat, 5 May 2018 21:42:51 -0400 Subject: [PATCH 1/1] [emacs] add flycheck's missing deps (pkg-info & epl) & configure it --- .gitmodules | 6 ++++++ init.org | 11 +++++++++++ lib/epl | 1 + lib/pkg-info | 1 + 4 files changed, 19 insertions(+) create mode 160000 lib/epl create mode 160000 lib/pkg-info diff --git a/.gitmodules b/.gitmodules index d267480..a288425 100644 --- a/.gitmodules +++ b/.gitmodules @@ -34,6 +34,9 @@ [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 @@ -84,6 +87,9 @@ [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 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]] diff --git a/lib/epl b/lib/epl new file mode 160000 index 0000000..78ab7a8 --- /dev/null +++ b/lib/epl @@ -0,0 +1 @@ +Subproject commit 78ab7a85c08222cd15582a298a364774e3282ce6 diff --git a/lib/pkg-info b/lib/pkg-info new file mode 160000 index 0000000..76ba741 --- /dev/null +++ b/lib/pkg-info @@ -0,0 +1 @@ +Subproject commit 76ba7415480687d05a4353b27fea2ae02b8d9d61 -- 2.20.1