#+begin_src emacs-lisp
(eval-when-compile (defvar lean-mode-map))
(use-package lean-mode
- :defer 2
+ :defer 1
:bind (:map lean-mode-map
("S-SPC" . company-complete))
:config
(require 'lean-input)
- (setq default-input-method "Lean"))
+ (setq default-input-method "Lean"
+ lean-input-tweak-all '(lean-input-compose
+ (lean-input-prepend "/")
+ (lean-input-nonempty))
+ lean-input-user-translations '(("/" "/")))
+ (lean-input-setup))
#+end_src
** Haskell
#+begin_src emacs-lisp
(use-package highlight-indent-guides
- :demand t
+ :defer 2
:hook ((prog-mode . highlight-indent-guides-mode)
;; (org-mode . highlight-indent-guides-mode)
)
** Gnus
#+begin_src emacs-lisp
-(setq amin-gnus-init-file (no-littering-expand-etc-file-name "gnus"))
+(setq
+ amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
+ mail-user-agent 'gnus-user-agent
+ read-mail-command 'gnus)
(use-package gnus
- :bind ("s-m" . gnus)
+ :bind (("s-m" . gnus)
+ ("s-M" . gnus-unplugged))
:init
(setq
- gnus-select-method
- '(nnimap "amin"
+ gnus-select-method '(nnnil "")
+ gnus-secondary-select-methods
+ '((nnimap "amin"
(nnimap-stream plain)
(nnimap-address "127.0.0.1")
(nnimap-server-port 143)
(nnimap-authenticator plain)
(nnimap-user "amin@aminb.org"))
- gnus-secondary-select-methods
- '((nnimap "uwaterloo"
+ (nnimap "uwaterloo"
(nnimap-stream plain)
(nnimap-address "127.0.0.1")
(nnimap-server-port 143)
(nnimap-user "abandali@uwaterloo.ca")))
gnus-message-archive-group "nnimap:Sent"
gnus-parameters
- '(("amin"
- (display . 20))
- ("uwaterloo"
- (display . 20)))
+ '(("gnu.*"
+ (gcc-self . t)))
+ gnus-large-newsgroup 50
gnus-home-directory (no-littering-expand-var-file-name "gnus/")
- gnus-directory (no-littering-expand-var-file-name "gnus/News/")
- message-directory amin-maildir
+ gnus-directory (concat gnus-home-directory "news/")
+ message-directory (concat gnus-home-directory "mail/")
+ nndraft-directory (concat gnus-home-directory "drafts/")
gnus-save-newsrc-file nil
gnus-read-newsrc-file nil
gnus-interactive-exit nil
:config
(setq
gnus-visible-headers
- (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:")
+ (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
gnus-sorted-header-list
'("^From:" "^Subject:" "^Summary:" "^Keywords:"
"^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
"^Newsgroups:" "List-Id:" "^Organization:"
- "^Date:")
+ "^User-Agent:" "^Date:")
;; local-lapsed article dates
;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
gnus-article-date-headers '(user-defined)
("w" . gnus-summary-wide-reply)
("v" . gnus-summary-show-raw-article))
:config
- (setq gnus-extra-headers (append gnus-extra-headers
- '(List-Id X-RT-Originator)))
(bind-keys
:map gnus-summary-mode-map
("r" . gnus-summary-reply-with-original)
("R" . gnus-summary-wide-reply-with-original)
("M-L" . org-store-link)))
-(use-package nnmail
+(use-package gnus-msg
:config
- (setq nnmail-extra-headers (append nnmail-extra-headers
- '(List-Id X-RT-Originator))))
-
-(use-package gnus-group
+ (setq gnus-posting-styles
+ '((".*"
+ (address "amin@aminb.org"))
+ ("gnu.*"
+ (address "bandali@gnu.org"))
+ ("nnimap\\+uwaterloo:.*"
+ (address "abandali@uwaterloo.ca")
+ (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
+
+(use-package gnus-topic
:hook (gnus-group-mode . gnus-topic-mode))
-(use-package mm-decode
+(use-package gnus-agent
:config
- (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
-#+end_src
+ (setq gnus-agent-synchronize-flags 'ask)
+ :hook (gnus-group-mode . gnus-agent-mode))
-** gnus-alias
+(use-package gnus-group
+ :config
+ (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
-#+begin_src emacs-lisp
-(use-package gnus-alias
- :commands (gnus-alias-determine-identity
- gnus-alias-select-identity)
- :bind (:map message-mode-map
- ("s-i" . gnus-alias-select-identity))
+(use-package mm-decode
:config
- (setq
- gnus-alias-default-identity "amin"
- gnus-alias-identity-alist
- '(("amin"
- nil ;; Does not refer to any other identity
- "Amin Bandali <amin@aminb.org>"
- nil ;; Organization
- nil ;; extra headers
- nil ;; extra body text
- nil) ;; signature file
- ("gnu"
- nil
- "Amin Bandali <bandali@gnu.org>"
- nil
- nil
- nil
- nil)
- ("uw"
- nil
- "Amin Bandali <abandali@uwaterloo.ca>"
- nil
- (("Gcc" . "\"nnimap+uwaterloo:Sent Items\""))
- nil
- nil))
- gnus-alias-identity-rules
- '(("amin" ("Delivered-To" "<amin\\@aminb\\.org" both) "amin")
- ("gnu" ("Delivered-To" "<gnu\\@aminb\\.org" both) "gnu")
- ("uw" ("any" "<\\(.+\\)\\@uwaterloo\\.ca" both) "uw"))
- gnus-alias-override-user-mail-address t)
- :hook (message-setup . gnus-alias-determine-identity))
+ (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
#+end_src
** sendmail
(setq message-kill-buffer-on-exit t
message-send-mail-function 'message-send-mail-with-sendmail
message-sendmail-envelope-from 'header
- ;; message-directory "drafts"
+ message-dont-reply-to-names
+ "\\(\\(.*@aminb\\.org\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
message-user-fqdn "aminb.org")
- ;; (add-hook 'message-mode-hook 'electric-quote-local-mode)
- (add-hook 'message-mode-hook
- (lambda () (setq fill-column 65
- message-fill-column 65)))
- (add-hook 'message-mode-hook
- #'flyspell-mode)
- ;; (add-hook 'message-setup-hook
- ;; #'mml-secure-message-sign-pgpmime)
+ :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
+ (message-mode . flyspell-mode)
+ (message-mode . (lambda () (setq fill-column 65
+ message-fill-column 65))))
:custom-face
- (message-header-subject ((t (:foreground "navy blue" :weight semi-bold))))
- (message-header-to ((t (:foreground "MidnightBlue" :weight semi-bold)))))
+ (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
+ (message-header-to ((t (:foreground "#111" :weight normal))))
+ (message-header-cc ((t (:foreground "#333" :weight normal)))))
(after! mml-sec
(setq mml-secure-openpgp-encrypt-to-self t
nil))
#+end_src
+** COMMENT gnus-alias :ARCHIVE:
+
+#+begin_src emacs-lisp
+(use-package gnus-alias
+ :commands (gnus-alias-determine-identity
+ gnus-alias-select-identity)
+ :bind (:map message-mode-map
+ ("s-i" . gnus-alias-select-identity))
+ :config
+ (setq
+ gnus-alias-default-identity "amin"
+ gnus-alias-identity-alist
+ '(("amin"
+ nil ;; Does not refer to any other identity
+ "Amin Bandali <amin@aminb.org>"
+ nil ;; Organization
+ nil ;; extra headers
+ nil ;; extra body text
+ nil) ;; signature file
+ ("gnu"
+ nil
+ "Amin Bandali <bandali@gnu.org>"
+ nil
+ nil
+ nil
+ nil)
+ ("uw"
+ nil
+ "Amin Bandali <abandali@uwaterloo.ca>"
+ nil
+ (("Gcc" . "\"nnimap+uwaterloo:Sent Items\""))
+ nil
+ nil))
+ gnus-alias-identity-rules
+ '(("amin" ("Delivered-To" "<amin\\@aminb\\.org" both) "amin")
+ ("gnu" ("Delivered-To" "<gnu\\@aminb\\.org" both) "gnu")
+ ("uw" ("any" "<\\(.+\\)\\@uwaterloo\\.ca" both) "uw"))
+ gnus-alias-override-user-mail-address t)
+ :hook (message-setup . gnus-alias-determine-identity))
+#+end_src
+
** COMMENT [[https://notmuchmail.org][notmuch]] :ARCHIVE:
See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
projects / ~bandali / configs / blobdiff