From aac9c079d32cbd1be07c008d7cbb7a3894908cfb Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 26 Apr 2023 13:20:52 +0100 Subject: Update eglot configuration and add nnhackernews --- gnus.el | 3 ++- init.el | 26 +++++++++++++++++--------- 2 files changed, 19 insertions(+), 10 deletions(-) diff --git a/gnus.el b/gnus.el index 429c704..4153da7 100644 --- a/gnus.el +++ b/gnus.el @@ -4,7 +4,8 @@ (setq gnus-secondary-select-methods '((nntp "news.gwene.org") (nnmaildir "mailbox" - (directory "~/mail-gnus/mailbox")))) + (directory "~/mail-gnus/mailbox")) + (nnhackernews ""))) (setq mm-text-html-renderer 'gnus-w3m) (setq gnus-inhibit-images nil) diff --git a/init.el b/init.el index e4e2462..0bce9ea 100644 --- a/init.el +++ b/init.el @@ -1044,15 +1044,20 @@ https://yannherklotz.com")) :bind (:map eglot-mode-map ("C-c f d" . eglot-format)) :config - (add-to-list 'eglot-server-programs - '(prolog-mode - . ("swipl" "-g" "use_module(library(lsp_server))." "-g" - "lsp_server:main" "-t" "halt" "--" "stdio"))) - (add-to-list 'eglot-server-programs - '(dafny-mode . ("dafny" "server" - "--manual-lemma-induction" - "--warn-missing-constructor-parentheses" - "--warn-shadowing")))) + (when (executable-find "swipl") + (add-to-list 'eglot-server-programs + '(prolog-mode + . ("swipl" "-g" "use_module(library(lsp_server))." "-g" + "lsp_server:main" "-t" "halt" "--" "stdio")))) + (when (executable-find "dafny") + (add-to-list 'eglot-server-programs + '(dafny-mode . ("dafny" "server" + "--manual-lemma-induction" + "--warn-missing-constructor-parentheses" + "--warn-shadowing")))) + (when (executable-find "haskell-language-server-wrapper") + (add-to-list 'eglot-server-programs + '(haskell-mode . ("haskell-language-server-wrapper" "--lsp"))))) (use-package elec-pair :config @@ -1168,6 +1173,9 @@ https://yannherklotz.com")) :config (server-start)) +(use-package nnhackernews + :ensure t) + (setq gc-cons-threshold (* 1024 1024 10)) (setq custom-file (expand-file-name "custom.el" user-emacs-directory)) -- cgit