diff options
author | jao <jao@gnu.org> | 2021-04-15 19:31:52 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2021-04-15 19:31:52 +0100 |
commit | ddd39156cf91e9b042be2b2e9c1597c626f1ed9e (patch) | |
tree | 8593a3c964cb3105ba0238a934288fb78320eadb | |
parent | c709c6141a22236e2ac51134082f5acea4d140bc (diff) | |
download | elibs-ddd39156cf91e9b042be2b2e9c1597c626f1ed9e.tar.gz elibs-ddd39156cf91e9b042be2b2e9c1597c626f1ed9e.tar.bz2 |
really disabling lsp/flycheck
-rw-r--r-- | init.org | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -2787,6 +2787,7 @@ (jao-define-attached-buffer "\\*eldoc\\( .*\\)?\\*" 0.33) (use-package yasnippet + :disabled t :ensure t :hook ((erlang-mode . yas-minor-mode-on) (erlixir-mode . yas-minor-mode-on)) @@ -2804,7 +2805,9 @@ (erlang-mode . lsp)) :diminish " 𝛌") - (use-package lsp-haskell :ensure t) + (use-package lsp-haskell + :disabled t + :ensure t) (use-package dante :disabled t @@ -3197,11 +3200,11 @@ ;; needs cabal install apply-refact (use-package hlint-refactor :ensure t - :after (flycheck haskell-mode) + :after (haskell-mode) :diminish "" - :bind (:map flycheck-command-map - ("r" . hlint-refactor-refactor-at-point) - ("R" . hlint-refactor-refactor-buffer)) + ;; :bind (:map flycheck-command-map + ;; ("r" . hlint-refactor-refactor-at-point) + ;; ("R" . hlint-refactor-refactor-buffer)) :hook (haskell-mode . hlint-refactor-mode)) #+end_src *** Prolog @@ -3238,14 +3241,14 @@ (use-package ein :ensure t :disabled t) #+END_SRC *** Coq - #+BEGIN_SRC emacs-lisp + #+begin_src emacs-lisp :load no (use-package proof-general :ensure t) (use-package company-coq :ensure t :hook (coq-mode . company-coq-mode)) - #+END_SRC + #+end_src *** JSON #+BEGIN_SRC emacs-lisp (use-package json-mode :ensure t) |