emacs: update packages
[~bandali/configs] / .emacs.d / init.el
index b07c683..4846e5d 100644 (file)
 ;;; Commentary:
 
 ;; Emacs configuration of Amin Bandali, computer scientist, functional
 ;;; Commentary:
 
 ;; Emacs configuration of Amin Bandali, computer scientist, functional
-;; programmer, and free software advocate.
-
-;; THIS FILE IS AUTO-GENERATED FROM `init.org'.
+;; programmer, and free software advocate.  Uses straight.el for
+;; purely functional and fully reproducible package management.
+
+;; Over the years, I've taken inspiration from configurations of many
+;; great people.  Some that I can remember off the top of my head are:
+;;
+;; - https://github.com/dieggsy/dotfiles
+;; - https://github.com/dakra/dmacs
+;; - http://pages.sachachua.com/.emacs.d/Sacha.html
+;; - https://github.com/dakrone/eos
+;; - http://doc.rix.si/cce/cce.html
+;; - https://github.com/jwiegley/dot-emacs
+;; - https://github.com/wasamasa/dotemacs
+;; - https://github.com/hlissner/doom-emacs
 
 ;;; Code:
 
 
 ;;; Code:
 
+;;; Emacs initialization
+
 (defvar a/before-user-init-time (current-time)
   "Value of `current-time' when Emacs begins loading `user-init-file'.")
 (message "Loading Emacs...done (%.3fs)"
          (float-time (time-subtract a/before-user-init-time
                                     before-init-time)))
 
 (defvar a/before-user-init-time (current-time)
   "Value of `current-time' when Emacs begins loading `user-init-file'.")
 (message "Loading Emacs...done (%.3fs)"
          (float-time (time-subtract a/before-user-init-time
                                     before-init-time)))
 
+;; temporarily increase `gc-cons-threshhold' and `gc-cons-percentage'
+;; during startup to reduce garbage collection frequency.  clearing
+;; `file-name-handler-alist' seems to help reduce startup time too.
 (defvar a/gc-cons-threshold gc-cons-threshold)
 (defvar a/gc-cons-percentage gc-cons-percentage)
 (defvar a/file-name-handler-alist file-name-handler-alist)
 (defvar a/gc-cons-threshold gc-cons-threshold)
 (defvar a/gc-cons-percentage gc-cons-percentage)
 (defvar a/file-name-handler-alist file-name-handler-alist)
       ;; sidesteps a bug when profiling with esup
       esup-child-profile-require-level 0)
 
       ;; sidesteps a bug when profiling with esup
       esup-child-profile-require-level 0)
 
-(add-hook
- 'after-init-hook
- (lambda ()
-   (setq gc-cons-threshold a/gc-cons-threshold
-         gc-cons-percentage a/gc-cons-percentage
-         file-name-handler-alist a/file-name-handler-alist)))
+;; set them back to their defaults once we're done initializing
+(defun a/post-init ()
+  (setq gc-cons-threshold a/gc-cons-threshold
+        gc-cons-percentage a/gc-cons-percentage
+        file-name-handler-alist a/file-name-handler-alist))
+(add-hook 'after-init-hook #'a/post-init)
 
 
+;; increase number of lines kept in *Messages* log
 (setq message-log-max 20000)
 
 (setq message-log-max 20000)
 
+;; optionally, uncomment to supress some byte-compiler warnings
+;;   (see C-h v byte-compile-warnings RET for more info)
 ;; (setq byte-compile-warnings
 ;;       '(not free-vars unresolved noruntime lexical make-local))
 
 ;; (setq byte-compile-warnings
 ;;       '(not free-vars unresolved noruntime lexical make-local))
 
+\f
+;;; whoami
+
 (setq user-full-name "Amin Bandali"
       user-mail-address "amin@bndl.org")
 
 (setq user-full-name "Amin Bandali"
       user-mail-address "amin@bndl.org")
 
+\f
+;;; comment macro
+
+;; useful for commenting out multiple sexps at a time
+(defmacro comment (&rest _)
+  "Comment out one or more s-expressions."
+  (declare (indent defun))
+  nil)
+
+\f
+;;; Package management
+
+;; No package.el  (for emacs 26 and before, uncomment the following)
+;; Not necessary when using straight.el
+;;   (C-h v straight-package-neutering-mode RET)
+
+(when (and
+       (not (featurep 'straight))
+       (version< emacs-version "27"))
+  (setq package-enable-at-startup nil)
+  ;; (package-initialize)
+  )
+
+;; for emacs 27 and later, we use early-init.el.  see
+;; https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=24acb31c04b4048b85311d794e600ecd7ce60d3b
+
+;; straight.el
+
 ;; Main engine start...
 
 (setq straight-repository-branch "develop"
 ;; Main engine start...
 
 (setq straight-repository-branch "develop"
 (defun a/reload-init ()
   "Reload init.el."
   (interactive)
 (defun a/reload-init ()
   "Reload init.el."
   (interactive)
-  (straight-transaction
-    (straight-mark-transaction-as-init)
-    (load user-init-file)))
+  (setq a/file-name-handler-alist file-name-handler-alist)
+  (load user-init-file nil 'nomessage)
+  (a/post-init))
 
 
+;; use-package
 (straight-use-package 'use-package)
 (if nil                             ; set to t when need to debug init
     (progn
 (straight-use-package 'use-package)
 (if nil                             ; set to t when need to debug init
     (progn
 (setq use-package-always-defer t)
 (require 'bind-key)
 
 (setq use-package-always-defer t)
 (require 'bind-key)
 
+(use-package delight)
+
+;; for browsing the Emacsmirror package database
+(comment
+  (use-package epkg
+    :commands (epkg-list-packages epkg-describe-package)
+    :bind
+    (("C-c p e d" . epkg-describe-package)
+     ("C-c p e p" . epkg-list-packages))
+    :config
+    (setq epkg-repository "~/.emacs.d/straight/repos/epkgs/")
+    (eval-when-compile (defvar ivy-initial-inputs-alist))
+    (with-eval-after-load 'ivy
+      (add-to-list
+       'ivy-initial-inputs-alist '(epkg-describe-package . "^") t))))
+
+\f
+;;; Initial setup
+
+;; keep ~/.emacs.d clean
 (use-package no-littering
   :demand t
   :config
 (use-package no-littering
   :demand t
   :config
   (setq auto-save-file-name-transforms
         `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
 
   (setq auto-save-file-name-transforms
         `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
 
+;; separate custom file (don't want it mixing with init.el)
 (use-feature custom
   :no-require t
   :config
   (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
   (when (file-exists-p custom-file)
     (load custom-file))
 (use-feature custom
   :no-require t
   :config
   (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
   (when (file-exists-p custom-file)
     (load custom-file))
+  ;; while at it, treat themes as safe
   (setf custom-safe-themes t))
 
   (setf custom-safe-themes t))
 
+;; load the secrets file if it exists, otherwise show a warning
 (with-demoted-errors
     (load (no-littering-expand-etc-file-name "secrets")))
 
 (with-demoted-errors
     (load (no-littering-expand-etc-file-name "secrets")))
 
+;; better $PATH (and other environment variable) handling
 (use-package exec-path-from-shell
   :defer 0.4
   :init
 (use-package exec-path-from-shell
   :defer 0.4
   :init
   (exec-path-from-shell-copy-env "SSH_AGENT_PID")
   (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
 
   (exec-path-from-shell-copy-env "SSH_AGENT_PID")
   (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
 
+;; only one custom theme at a time
+(comment
+  (defadvice load-theme (before clear-previous-themes activate)
+    "Clear existing theme settings instead of layering them"
+    (mapc #'disable-theme custom-enabled-themes)))
+
+;; start up emacs server.  see
+;; https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server
 (use-feature server
   :defer 0.4
   :config (or (server-running-p) (server-mode)))
 
 (use-feature server
   :defer 0.4
   :config (or (server-running-p) (server-mode)))
 
+;; unicode support
+(comment
+  (dolist (ft (fontset-list))
+    (set-fontset-font
+     ft
+     'unicode
+     (font-spec :name "Source Code Pro" :size 14))
+    (set-fontset-font
+     ft
+     'unicode
+     (font-spec :name "DejaVu Sans Mono")
+     nil
+     'append)
+    ;; (set-fontset-font
+    ;;  ft
+    ;;  'unicode
+    ;;  (font-spec
+    ;;   :name "Symbola monospacified for DejaVu Sans Mono")
+    ;;  nil
+    ;;  'append)
+    ;; (set-fontset-font
+    ;;  ft
+    ;;  #x2115  ; ℕ
+    ;;  (font-spec :name "DejaVu Sans Mono")
+    ;;  nil
+    ;;  'append)
+    (set-fontset-font
+     ft
+     (cons ?Α ?ω)
+     (font-spec :name "DejaVu Sans Mono" :size 14)
+     nil
+     'prepend)))
+
+;; gentler font resizing
 (setq text-scale-mode-step 1.05)
 
 (setq text-scale-mode-step 1.05)
 
+;; focus follows mouse
 (setq mouse-autoselect-window t)
 
 (defun a/no-mouse-autoselect-window ()
 (setq mouse-autoselect-window t)
 
 (defun a/no-mouse-autoselect-window ()
+  "Conveniently disable `focus-follows-mouse'.
+For disabling the behaviour for certain buffers and/or modes."
   (make-local-variable 'mouse-autoselect-window)
   (setq mouse-autoselect-window nil))
 
   (make-local-variable 'mouse-autoselect-window)
   (setq mouse-autoselect-window nil))
 
+;; better scrolling
 (setq ;; scroll-margin 1
       ;; scroll-conservatively 10000
       scroll-step 1
 (setq ;; scroll-margin 1
       ;; scroll-conservatively 10000
       scroll-step 1
   :defer 0.4
   :config (pixel-scroll-mode 1))
 
   :defer 0.4
   :config (pixel-scroll-mode 1))
 
+;; ask for GPG passphrase in minibuffer
 (setq epg-pinentry-mode 'loopback)
 
 (setq epg-pinentry-mode 'loopback)
 
+;; useful libraries
 (require 'cl-lib)
 (require 'subr-x)
 
 (require 'cl-lib)
 (require 'subr-x)
 
+\f
+;;; Useful utilities
+
 (defmacro a/setq-every (value &rest vars)
   "Set all the variables from VARS to value VALUE."
   (declare (indent defun) (debug t))
 (defmacro a/setq-every (value &rest vars)
   "Set all the variables from VARS to value VALUE."
   (declare (indent defun) (debug t))
          program
          (remove nil (list args (dired-get-file-for-visit)))))
 
          program
          (remove nil (list args (dired-get-file-for-visit)))))
 
+(defun a/add-elisp-section ()
+  (interactive)
+  (insert "\n")
+  (previous-line)
+  (insert "\n\f\n;;; "))
+
+\f
+;;; Defaults
+
+;; time and battery in mode-line
+(comment
+  (use-package time
+    :init
+    (setq display-time-default-load-average nil)
+    :config
+    (display-time-mode))
+
+  (use-package battery
+    :config
+    (display-battery-mode)))
+
+;; smaller fringe
 ;; (fringe-mode '(3 . 1))
 (fringe-mode nil)
 
 ;; (fringe-mode '(3 . 1))
 (fringe-mode nil)
 
+;; disable disabled commands
 (setq disabled-command-function nil)
 
 (setq disabled-command-function nil)
 
+;; Save what I copy into clipboard from other applications into Emacs'
+;; kill-ring, which would allow me to still be able to easily access
+;; it in case I kill (cut or copy) something else inside Emacs before
+;; yanking (pasting) what I'd originally intended to.
 (setq save-interprogram-paste-before-kill t)
 
 (setq save-interprogram-paste-before-kill t)
 
+;; minibuffer
 (setq enable-recursive-minibuffers t
       resize-mini-windows t)
 
 (setq enable-recursive-minibuffers t
       resize-mini-windows t)
 
+;; lazy-person-friendly yes/no prompts
 (defalias 'yes-or-no-p #'y-or-n-p)
 
 (defalias 'yes-or-no-p #'y-or-n-p)
 
+;; i want *scratch* as my startup buffer
 (setq initial-buffer-choice t)
 
 (setq initial-buffer-choice t)
 
+;; i don't need the default hint
 (setq initial-scratch-message nil)
 
 (setq initial-scratch-message nil)
 
+;; use customizable text-mode as major mode for *scratch*
 (setq initial-major-mode 'text-mode)
 
 (setq initial-major-mode 'text-mode)
 
+;; inhibit buffer list when more than 2 files are loaded
 (setq inhibit-startup-buffer-menu t)
 
 (setq inhibit-startup-buffer-menu t)
 
+;; don't need to see the startup screen or the echo area message
 (advice-add #'display-startup-echo-area-message :override #'ignore)
 (setq inhibit-startup-screen t
       inhibit-startup-echo-area-message user-login-name)
 
 (advice-add #'display-startup-echo-area-message :override #'ignore)
 (setq inhibit-startup-screen t
       inhibit-startup-echo-area-message user-login-name)
 
+;; more useful frame titles
 (setq frame-title-format
       '("" invocation-name " - "
         (:eval (if (buffer-file-name)
                    (abbreviate-file-name (buffer-file-name))
                  "%b"))))
 
 (setq frame-title-format
       '("" invocation-name " - "
         (:eval (if (buffer-file-name)
                    (abbreviate-file-name (buffer-file-name))
                  "%b"))))
 
+;; backups (C-h v make-backup-files RET)
 (setq backup-by-copying t
       version-control t
       delete-old-versions t)
 
 (setq backup-by-copying t
       version-control t
       delete-old-versions t)
 
+;; enable automatic reloading of changed buffers and files
 (global-auto-revert-mode 1)
 (setq auto-revert-verbose nil
       global-auto-revert-non-file-buffers nil)
 
 (global-auto-revert-mode 1)
 (setq auto-revert-verbose nil
       global-auto-revert-non-file-buffers nil)
 
+;; always use space for indentation
 (setq-default
  indent-tabs-mode nil
  require-final-newline t
  tab-width 4)
 
 (setq-default
  indent-tabs-mode nil
  require-final-newline t
  tab-width 4)
 
+;; enable winner-mode (C-h f winner-mode RET)
 (winner-mode 1)
 
 (winner-mode 1)
 
+;; don't display *compilation* buffer on success.  based on
+;; https://stackoverflow.com/a/17788551, with changes to use `cl-letf'
+;; instead of the now obsolete `flet'.
 (with-eval-after-load 'compile
   (defun a/compilation-finish-function (buffer outstr)
     (unless (string-match "finished" outstr)
 (with-eval-after-load 'compile
   (defun a/compilation-finish-function (buffer outstr)
     (unless (string-match "finished" outstr)
       ad-do-it))
   (ad-activate 'compilation-start))
 
       ad-do-it))
   (ad-activate 'compilation-start))
 
+;; search for non-ASCII characters: i’d like non-ASCII characters such
+;; as ‘’“”«»‹›áⓐ𝒶 to be selected when i search for their ASCII
+;; counterpart.  shoutout to
+;; http://endlessparentheses.com/new-in-emacs-25-1-easily-search-non-ascii-characters.html
 (setq search-default-mode #'char-fold-to-regexp)
 (setq search-default-mode #'char-fold-to-regexp)
-
 ;; uncomment to extend this behaviour to query-replace
 ;; (setq replace-char-fold t)
 
 ;; uncomment to extend this behaviour to query-replace
 ;; (setq replace-char-fold t)
 
+;; cursor shape
 (setq-default cursor-type 'bar)
 
 (setq-default cursor-type 'bar)
 
+;; allow scrolling in Isearch
 (setq isearch-allow-scroll t)
 
 (setq isearch-allow-scroll t)
 
+;; open read-only file buffers in view-mode
+;; (enables niceties like `q' for quit)
+(setq view-read-only t)
+
+(use-feature vc
+  :bind ("C-x v C-=" . vc-ediff))
+
+(use-feature ediff
+  :config (add-hook 'ediff-after-quit-hook-internal 'winner-undo)
+  :custom ((ediff-window-setup-function 'ediff-setup-windows-plain)
+           (ediff-split-window-function 'split-window-horizontally)))
+
+\f
+;;; General bindings
+
 (bind-keys
  ("C-c a i" . ielm)
 
 (bind-keys
  ("C-c a i" . ielm)
 
 
  ("C-c F m" . make-frame-command)
  ("C-c F d" . delete-frame)
 
  ("C-c F m" . make-frame-command)
  ("C-c F d" . delete-frame)
- ("C-c F D" . delete-other-frames)
+ ("C-c F D" . server-edit)
 
  ("C-c o"   . other-window)
 
 
  ("C-c o"   . other-window)
 
  ("C-x K"   . kill-buffer)
 
  ("s-p"     . beginning-of-buffer)
  ("C-x K"   . kill-buffer)
 
  ("s-p"     . beginning-of-buffer)
- ("s-n"     . end-of-buffer))
+ ("s-n"     . end-of-buffer)
+
+ :map emacs-lisp-mode-map
+ ("<C-return>" . a/add-elisp-section))
 
 (when (display-graphic-p)
   (unbind-key "C-z" global-map))
 
 
 (when (display-graphic-p)
   (unbind-key "C-z" global-map))
 
+(bind-keys
+ ;; for back and forward mouse keys
+ ("<mouse-8>"      . previous-buffer)
+ ("<drag-mouse-8>" . previous-buffer)
+ ("<mouse-9>"      . next-buffer)
+ ("<drag-mouse-9>" . next-buffer)
+ ("<drag-mouse-2>" . kill-this-buffer)
+ ("<drag-mouse-3>" . ivy-switch-buffer))
+
 (bind-keys
  :prefix-map a/straight-prefix-map
  :prefix "C-c p s"
 (bind-keys
  :prefix-map a/straight-prefix-map
  :prefix "C-c p s"
  ("p P" . straight-push-package)
  ("p r" . straight-rebuild-package))
 
  ("p P" . straight-push-package)
  ("p r" . straight-rebuild-package))
 
+\f
+;;; Essential packages
+
 (use-package auto-compile
   :demand t
   :config
 (use-package auto-compile
   :demand t
   :config
   (add-hook 'auto-compile-inhibit-compile-hook
             'auto-compile-inhibit-compile-detached-git-head))
 
   (add-hook 'auto-compile-inhibit-compile-hook
             'auto-compile-inhibit-compile-detached-git-head))
 
+;; use the org-plus-contrib package to get the whole deal
 (straight-use-package 'org-plus-contrib)
 
 (use-feature org
 (straight-use-package 'org-plus-contrib)
 
 (use-feature org
   (("C-c a o a" . org-agenda)
    :map org-mode-map
    ("M-L" . org-insert-last-stored-link)
   (("C-c a o a" . org-agenda)
    :map org-mode-map
    ("M-L" . org-insert-last-stored-link)
+   ("M-O" . org-toggle-link-display)
    ("s-T" . org-todo))
   :hook ((org-mode . org-indent-mode)
          (org-mode . auto-fill-mode)
    ("s-T" . org-todo))
   :hook ((org-mode . org-indent-mode)
          (org-mode . auto-fill-mode)
   :config
   (ox-extras-activate '(latex-header-blocks ignore-headlines)))
 
   :config
   (ox-extras-activate '(latex-header-blocks ignore-headlines)))
 
+;; asynchronous tangle, using emacs-async to asynchronously tangle an
+;; org file.  closely inspired by
+;; https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles
 (with-eval-after-load 'org
   (defvar a/show-async-tangle-results nil
     "Keep *emacs* async buffers around for later inspection.")
 (with-eval-after-load 'org
   (defvar a/show-async-tangle-results nil
     "Keep *emacs* async buffers around for later inspection.")
  'safe-local-variable-values
  '(eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local))
 
  'safe-local-variable-values
  '(eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local))
 
+;; *the* right way to do git
 (use-package magit
   :defer 0.5
   :bind (("C-x g" . magit-status)
 (use-package magit
   :defer 0.5
   :bind (("C-x g" . magit-status)
   (nconc magit-section-initial-visibility-alist
          '(([unpulled status] . show)
            ([unpushed status] . show)))
   (nconc magit-section-initial-visibility-alist
          '(([unpulled status] . show)
            ([unpushed status] . show)))
+  :custom (magit-display-buffer-function #'magit-display-buffer-fullframe-status-v1)
   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 
   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 
+;; recently opened files
 (use-feature recentf
   :defer 0.2
   :config
 (use-feature recentf
   :defer 0.2
   :config
-  (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
-  (setq recentf-max-saved-items 40))
+  ;; (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
+  (setq recentf-max-saved-items 2000))
 
 
+;; smart M-x enhancement (needed by counsel for history)
 (use-package smex)
 
 (use-package ivy
   :defer 0.3
 (use-package smex)
 
 (use-package ivy
   :defer 0.3
+  :delight ;; " 🙒"
   :bind
   (:map ivy-minibuffer-map
    ([escape] . keyboard-escape-quit)
   :bind
   (:map ivy-minibuffer-map
    ([escape] . keyboard-escape-quit)
 
 (use-package counsel
   :after ivy
 
 (use-package counsel
   :after ivy
+  :delight
   :bind (([remap execute-extended-command] . counsel-M-x)
          ([remap find-file]                . counsel-find-file)
          ("C-c x"                          . counsel-M-x)
          ("C-c f ."                        . counsel-find-file)
          ("C-c f l"                        . counsel-find-library)
   :bind (([remap execute-extended-command] . counsel-M-x)
          ([remap find-file]                . counsel-find-file)
          ("C-c x"                          . counsel-M-x)
          ("C-c f ."                        . counsel-find-file)
          ("C-c f l"                        . counsel-find-library)
+         ("C-c f r"                        . counsel-recentf)
+         ("s-."                            . counsel-find-file)
+         ("s-r"                            . ivy-switch-buffer)
          :map minibuffer-local-map
          ("C-r" . counsel-minibuffer-history))
   :config
   (counsel-mode 1)
   (defalias 'locate #'counsel-locate))
 
          :map minibuffer-local-map
          ("C-r" . counsel-minibuffer-history))
   :config
   (counsel-mode 1)
   (defalias 'locate #'counsel-locate))
 
+(comment
+  (use-package helm
+    :commands (helm-M-x helm-mini helm-resume)
+    :bind (("M-x"     . helm-M-x)
+           ("M-y"     . helm-show-kill-ring)
+           ("C-x b"   . helm-mini)
+           ("C-x C-b" . helm-buffers-list)
+           ("C-x C-f" . helm-find-files)
+           ("C-h r"   . helm-info-emacs)
+           ("s-r"     . helm-recentf)
+           ("C-s-r"   . helm-resume)
+           :map helm-map
+           ("<tab>" . helm-execute-persistent-action)
+           ("C-i"   . helm-execute-persistent-action) ; Make TAB work in terminals
+           ("C-z"   . helm-select-action))            ; List actions
+    :config (helm-mode 1)))
+
 (use-feature eshell
   :defer 0.5
   :commands eshell
 (use-feature eshell
   :defer 0.5
   :commands eshell
         (mode . scheme-mode)
         (mode . haskell-mode)
         (mode . lean-mode)
         (mode . scheme-mode)
         (mode . haskell-mode)
         (mode . lean-mode)
+        (mode . go-mode)
         (mode . alloy-mode)))
       ("tex"
        (or
         (mode . alloy-mode)))
       ("tex"
        (or
 
 (use-feature outline
   :hook (prog-mode . outline-minor-mode)
 
 (use-feature outline
   :hook (prog-mode . outline-minor-mode)
+  :delight (outline-minor-mode " outl")
   :bind
   (:map
    outline-minor-mode-map
   :bind
   (:map
    outline-minor-mode-map
                         (setq ediff-after-quit-hook-internal nil)
                         (set-window-configuration wnd))))
         (error "no more than 2 files should be marked"))))
                         (setq ediff-after-quit-hook-internal nil)
                         (set-window-configuration wnd))))
         (error "no more than 2 files should be marked"))))
+
+  (require 'dired-x)
+  (setq dired-guess-shell-alist-user
+        '(("\\.pdf\\'"  "evince" "zathura" "okular")
+          ("\\.doc\\'"  "libreoffice")
+          ("\\.docx\\'" "libreoffice")
+          ("\\.ppt\\'"  "libreoffice")
+          ("\\.pptx\\'" "libreoffice")
+          ("\\.xls\\'"  "libreoffice")
+          ("\\.xlsx\\'" "libreoffice")
+          ("\\.flac\\'" "mpv")))
   :bind (:map dired-mode-map
               ("b"  . dired-up-directory)
               ("e"  . dired-ediff-files)
   :bind (:map dired-mode-map
               ("b"  . dired-up-directory)
               ("e"  . dired-ediff-files)
   :bind (:map doc-view-mode-map
               ("M-RET" . image-previous-line)))
 
   :bind (:map doc-view-mode-map
               ("M-RET" . image-previous-line)))
 
+\f
+;;; Editing
+
+;; highlight uncommitted changes in the left fringe
 (use-package diff-hl
 (use-package diff-hl
+  :defer 0.6
   :config
   (setq diff-hl-draw-borders nil)
   (global-diff-hl-mode)
   :hook (magit-post-refresh . diff-hl-magit-post-refresh))
 
   :config
   (setq diff-hl-draw-borders nil)
   (global-diff-hl-mode)
   :hook (magit-post-refresh . diff-hl-magit-post-refresh))
 
+;; display Lisp objects at point in the echo area
 (use-feature eldoc
   :when (version< "25" emacs-version)
 (use-feature eldoc
   :when (version< "25" emacs-version)
+  :delight " eldoc"
   :config (global-eldoc-mode))
 
   :config (global-eldoc-mode))
 
+;; highlight matching parens
 (use-feature paren
   :demand
   :config (show-paren-mode))
 
 (use-feature paren
   :demand
   :config (show-paren-mode))
 
+(use-feature elec-pair
+  :demand
+  :config (electric-pair-mode))
+
 (use-feature simple
 (use-feature simple
+  :delight (auto-fill-function " fill")
   :config (column-number-mode))
 
   :config (column-number-mode))
 
+;; save minibuffer history
 (use-feature savehist
   :config (savehist-mode))
 
 (use-feature savehist
   :config (savehist-mode))
 
+;; automatically save place in files
 (use-feature saveplace
   :when (version< "25" emacs-version)
   :config (save-place-mode))
 (use-feature saveplace
   :when (version< "25" emacs-version)
   :config (save-place-mode))
   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
 
 (use-feature text-mode
   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
 
 (use-feature text-mode
-  :hook ((text-mode . indicate-buffer-boundaries-left)
-         (text-mode . abbrev-mode)))
+  :hook (text-mode . indicate-buffer-boundaries-left))
+
+(use-feature conf-mode
+  :mode "\\.*rc$")
+
+(use-feature sh-mode
+  :mode "\\.bashrc$")
 
 (use-package company
   :defer 0.6
 
 (use-package company
   :defer 0.6
+  :delight " comp"
   :bind
   (:map company-active-map
         ([tab]    . company-complete-common-or-cycle)
   :bind
   (:map company-active-map
         ([tab]    . company-complete-common-or-cycle)
   (setq flycheck-emacs-lisp-load-path 'inherit)
 
   ;; Only flycheck when I actually save the buffer
   (setq flycheck-emacs-lisp-load-path 'inherit)
 
   ;; Only flycheck when I actually save the buffer
-  (setq flycheck-check-syntax-automatically '(mode-enabled save)))
+  (setq flycheck-check-syntax-automatically '(mode-enabled save))
+  :custom (flycheck-mode-line-prefix "flyc"))
+
+(use-feature flyspell
+  :delight " flysp")
 
 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
 (use-package ispell
 
 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
 (use-package ispell
   (advice-add #'ispell-parse-output :filter-args
               #'endless/replace-quote))
 
   (advice-add #'ispell-parse-output :filter-args
               #'endless/replace-quote))
 
+(use-feature abbrev
+  :delight " abbr"
+  :hook (text-mode . abbrev-mode))
+
+\f
+;;; Programming modes
+
 (use-feature lisp-mode
   :config
 (use-feature lisp-mode
   :config
-  (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
-  (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
   (defun indent-spaces-mode ()
     (setq indent-tabs-mode nil))
   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
 
   (defun indent-spaces-mode ()
     (setq indent-tabs-mode nil))
   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
 
+(use-feature reveal
+  :delight (reveal-mode " reveal")
+  :hook (emacs-lisp-mode . reveal-mode))
+
+(use-feature elisp-mode
+  :delight (emacs-lisp-mode "Elisp" :major))
+
 (use-package alloy-mode
   :straight (:host github :repo "dwwmmn/alloy-mode")
   :mode "\\.als\\'"
   :config (setq alloy-basic-offset 2))
 
 (use-package alloy-mode
   :straight (:host github :repo "dwwmmn/alloy-mode")
   :mode "\\.als\\'"
   :config (setq alloy-basic-offset 2))
 
-(use-package proof-site  ; Proof General
+(use-package proof-site                 ; for Coq
   :straight proof-general)
 
 (eval-when-compile (defvar lean-mode-map))
   :straight proof-general)
 
 (eval-when-compile (defvar lean-mode-map))
 
 (use-package flycheck-haskell
   :after haskell-mode)
 
 (use-package flycheck-haskell
   :after haskell-mode)
+;; alternative: hs-lint https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el
 
 (use-package sgml-mode
   :config
 
 (use-package sgml-mode
   :config
   (setq emmet-move-cursor-between-quotes t)
   :hook (web-mode css-mode html-mode sgml-mode))
 
   (setq emmet-move-cursor-between-quotes t)
   :hook (web-mode css-mode html-mode sgml-mode))
 
+(comment
+  (use-package meghanada
+    :bind
+    (:map meghanada-mode-map
+          (("C-M-o" . meghanada-optimize-import)
+           ("C-M-t" . meghanada-import-all)))
+    :hook (java-mode . meghanada-mode)))
+
+(comment
+  (use-package treemacs
+    :config (setq treemacs-never-persist t))
+
+  (use-package yasnippet
+    :config
+    ;; (yas-global-mode)
+    )
+
+  (use-package lsp-mode
+    :init (setq lsp-eldoc-render-all nil
+                lsp-highlight-symbol-at-point nil)
+    )
+
+  (use-package hydra)
+
+  (use-package company-lsp
+    :after company
+    :config
+    (setq company-lsp-cache-candidates t
+          company-lsp-async t))
+
+  (use-package lsp-ui
+    :config
+    (setq lsp-ui-sideline-update-mode 'point))
+
+  (use-package lsp-java
+    :config
+    (add-hook 'java-mode-hook
+                 (lambda ()
+                   (setq-local company-backends (list 'company-lsp))))
+
+    (add-hook 'java-mode-hook 'lsp-java-enable)
+    (add-hook 'java-mode-hook 'flycheck-mode)
+    (add-hook 'java-mode-hook 'company-mode)
+    (add-hook 'java-mode-hook 'lsp-ui-mode))
+
+  (use-package dap-mode
+    :after lsp-mode
+    :config
+    (dap-mode t)
+    (dap-ui-mode t))
+
+  (use-package dap-java
+    :after (lsp-java))
+
+  (use-package lsp-java-treemacs
+    :after (treemacs)))
+
+(comment
+  (use-package eclim
+    :bind (:map eclim-mode-map ("S-SPC" . company-complete))
+    :hook ((java-mode . eclim-mode)
+           (eclim-mode . (lambda ()
+                           (make-local-variable 'company-idle-delay)
+                           (defvar company-idle-delay)
+                           ;; (setq company-idle-delay 0.7)
+                           (setq company-idle-delay nil))))
+    :custom
+    (eclim-auto-save nil)
+    ;; (eclimd-default-workspace "~/src/eclipse-workspace-exp")
+    (eclim-executable "~/.p2/pool/plugins/org.eclim_2.8.0/bin/eclim")
+    (eclim-eclipse-dirs '("~/usr/eclipse/dsl-2018-09/eclipse"))))
+
 (use-package geiser)
 
 (use-feature geiser-guile
 (use-package geiser)
 
 (use-feature geiser-guile
 
 (use-package guix)
 
 
 (use-package guix)
 
+(comment
+  (use-package auctex
+    :custom
+    (font-latex-fontify-sectioning 'color)))
+
+(use-package go-mode)
+
+\f
+;;; Theme
+
+(add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
+(load-theme 'tangomod t)
+
+(use-package smart-mode-line
+  :commands (sml/apply-theme)
+  :demand
+  :config
+  (sml/setup)
+  (smart-mode-line-enable))
+
+(use-package doom-themes)
+
+(defvar a/org-mode-font-lock-keywords
+  '(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)"
+      (1 '(:foreground "#5a5b5a" :background "#292b2b") t) ; directive
+      (3 '(:foreground "#81a2be" :background "#292b2b") t) ; kind
+      (4 '(:foreground "#c5c8c6") t))))                    ; title
+
+(defun a/lights-on ()
+  "Enable my favourite light theme."
+  (interactive)
+  (mapc #'disable-theme custom-enabled-themes)
+  (load-theme 'tangomod t)
+  (sml/apply-theme 'automatic)
+  (font-lock-remove-keywords
+   'org-mode a/org-mode-font-lock-keywords))
+
+(defun a/lights-off ()
+  "Go dark."
+  (interactive)
+  (mapc #'disable-theme custom-enabled-themes)
+  (load-theme 'doom-tomorrow-night t)
+  (sml/apply-theme 'automatic)
+  (font-lock-add-keywords
+   'org-mode a/org-mode-font-lock-keywords t))
+
+(bind-keys
+ ("s-t d" . a/lights-off)
+ ("s-t l" . a/lights-on))
+
+\f
+;;; Emacs enhancements & auxiliary packages
+
 (use-feature man
   :config (setq Man-width 80))
 
 (use-package which-key
   :defer 0.4
 (use-feature man
   :config (setq Man-width 80))
 
 (use-package which-key
   :defer 0.4
+  :delight
   :config
   (which-key-add-key-based-replacements
     ;; prefixes for global prefixes and minor modes
   :config
   (which-key-add-key-based-replacements
     ;; prefixes for global prefixes and minor modes
   (which-key-add-column-padding 5)
   (which-key-max-description-length 32))
 
   (which-key-add-column-padding 5)
   (which-key-max-description-length 32))
 
-(add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
-(load-theme 'tangomod t)
-
-(use-package smart-mode-line
-  :commands (sml/apply-theme)
-  :demand
-  :config
-  (sml/setup))
-
-(use-package doom-themes)
-
-(defvar a/org-mode-font-lock-keywords
-  '(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)"
-      (1 '(:foreground "#5a5b5a" :background "#292b2b") t) ; directive
-      (3 '(:foreground "#81a2be" :background "#292b2b") t) ; kind
-      (4 '(:foreground "#c5c8c6") t))))                    ; title
-
-(defun a/lights-on ()
-  "Enable my favourite light theme."
-  (interactive)
-  (mapc #'disable-theme custom-enabled-themes)
-  (load-theme 'tangomod t)
-  (sml/apply-theme 'automatic)
-  (font-lock-remove-keywords
-   'org-mode a/org-mode-font-lock-keywords))
-
-(defun a/lights-off ()
-  "Go dark."
-  (interactive)
-  (mapc #'disable-theme custom-enabled-themes)
-  (load-theme 'doom-tomorrow-night t)
-  (sml/apply-theme 'automatic)
-  (font-lock-add-keywords
-   'org-mode a/org-mode-font-lock-keywords t))
-
-(bind-keys
- ("s-t d" . a/lights-off)
- ("s-t l" . a/lights-on))
-
-(use-package crux                       ; results in Waiting for git... [2 times]
+(use-package crux            ; results in Waiting for git... [2 times]
   :defer 0.4
   :bind (("C-c b k" . crux-kill-other-buffers)
          ("C-c d"   . crux-duplicate-current-line-or-region)
   :defer 0.4
   :bind (("C-c b k" . crux-kill-other-buffers)
          ("C-c d"   . crux-duplicate-current-line-or-region)
          ("<end>"  . mwim-end-of-line-or-code)))
 
 (use-package projectile
          ("<end>"  . mwim-end-of-line-or-code)))
 
 (use-package projectile
+  :defer 0.5
   :bind-keymap ("C-c P" . projectile-command-map)
   :config
   (projectile-mode)
 
   :bind-keymap ("C-c P" . projectile-command-map)
   :config
   (projectile-mode)
 
+  (defun a/projectile-mode-line-fun ()
+  "Report project name and type in the modeline."
+  (let ((project-name (projectile-project-name))
+        (project-type (projectile-project-type)))
+    (format "%s%s"
+            projectile-mode-line-prefix
+            (if project-type
+                (format ":%s" project-type)
+              ""))))
+  (setq projectile-mode-line-function 'a/projectile-mode-line-fun)
+
   (defun my-projectile-invalidate-cache (&rest _args)
     ;; ignore the args to `magit-checkout'
     (projectile-invalidate-cache nil))
   (defun my-projectile-invalidate-cache (&rest _args)
     ;; ignore the args to `magit-checkout'
     (projectile-invalidate-cache nil))
                    :after #'my-projectile-invalidate-cache)
        (advice-add 'magit-branch-and-checkout
                    :after #'my-projectile-invalidate-cache)))
                    :after #'my-projectile-invalidate-cache)
        (advice-add 'magit-branch-and-checkout
                    :after #'my-projectile-invalidate-cache)))
-  :custom (projectile-completion-system 'ivy))
+  :custom
+  (projectile-completion-system 'ivy)
+  (projectile-mode-line-prefix " proj"))
 
 (use-package helpful
   :defer 0.6
 
 (use-package helpful
   :defer 0.6
   :custom
   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
 
   :custom
   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
 
+;; ,----
+;; | make pretty boxed quotes like this
+;; `----
 (use-package boxquote
   :defer 0.6
   :bind
 (use-package boxquote
   :defer 0.6
   :bind
    ("M-w" . boxquote-kill-ring-save)))
 
 (use-package orgalist
    ("M-w" . boxquote-kill-ring-save)))
 
 (use-package orgalist
+  ;; http://lists.gnu.org/archive/html/emacs-orgmode/2019-04/msg00007.html
   :disabled t
   :after message
   :hook (message-mode . orgalist-mode))
 
   :disabled t
   :after message
   :hook (message-mode . orgalist-mode))
 
+;; easily type pretty quotes & other typography, like ‘’“”-–—«»‹›
 (use-package typo
   :defer 0.5
 (use-package typo
   :defer 0.5
+  :delight " typo"
   :config
   (typo-global-mode 1)
   :config
   (typo-global-mode 1)
-  :hook (text-mode . typo-mode))
+  :hook ((text-mode erc-mode) . typo-mode))
 
 
+;; highlight TODOs in buffers
 (use-package hl-todo
   :defer 0.5
   :config
 (use-package hl-todo
   :defer 0.5
   :config
 
 (use-package multi-term
   :defer 0.6
 
 (use-package multi-term
   :defer 0.6
-  :bind (("C-c a s m" . multi-term-dedicated-toggle)
+  :bind (("C-c a s m m" . multi-term)
+         ("C-c a s m d" . multi-term-dedicated-toggle)
+         ("C-c a s m p" . multi-term-prev)
+         ("C-c a s m n" . multi-term-next)
          :map term-mode-map
          :map term-mode-map
-         ("C-c C-j" . term-char-mode)
-         :map term-raw-map
-         ("C-c C-j" . term-line-mode))
+         ("C-c C-j" . term-char-mode))
   :config
   :config
-  (setq multi-term-program "/bin/screen"
+  (setq multi-term-program "screen"
+        multi-term-program-switches (concat "-c"
+                                            (getenv "XDG_CONFIG_HOME")
+                                            "/screen/screenrc")
         ;; TODO: add separate bindings for connecting to existing
         ;; session vs. always creating a new one
         multi-term-dedicated-select-after-open-p t
         ;; TODO: add separate bindings for connecting to existing
         ;; session vs. always creating a new one
         multi-term-dedicated-select-after-open-p t
         term-bind-key-alist
         '(("C-c C-c" . term-interrupt-subjob)
           ("C-c C-e" . term-send-esc)
         term-bind-key-alist
         '(("C-c C-c" . term-interrupt-subjob)
           ("C-c C-e" . term-send-esc)
+          ("C-c C-j" . term-line-mode)
           ("C-k" . kill-line)
           ("C-k" . kill-line)
-          ("C-y" . term-paste)
+          ;; ("C-y" . term-paste)
+          ("C-y" . term-send-raw)
           ("M-f" . term-send-forward-word)
           ("M-b" . term-send-backward-word)
           ("M-p" . term-send-up)
           ("M-n" . term-send-down)
           ("M-f" . term-send-forward-word)
           ("M-b" . term-send-backward-word)
           ("M-p" . term-send-up)
           ("M-n" . term-send-down)
+          ("M-j" . term-send-raw-meta)
+          ("M-y" . term-send-raw-meta)
+          ("M-/" . term-send-raw-meta)
+          ("M-0" . term-send-raw-meta)
+          ("M-1" . term-send-raw-meta)
+          ("M-2" . term-send-raw-meta)
+          ("M-3" . term-send-raw-meta)
+          ("M-4" . term-send-raw-meta)
+          ("M-5" . term-send-raw-meta)
+          ("M-6" . term-send-raw-meta)
+          ("M-7" . term-send-raw-meta)
+          ("M-8" . term-send-raw-meta)
+          ("M-9" . term-send-raw-meta)
           ("<C-backspace>" . term-send-backward-kill-word)
           ("<M-DEL>" . term-send-backward-kill-word)
           ("M-d" . term-send-delete-word)
           ("M-," . term-send-raw)
           ("M-." . comint-dynamic-complete))
         term-unbind-key-alist
           ("<C-backspace>" . term-send-backward-kill-word)
           ("<M-DEL>" . term-send-backward-kill-word)
           ("M-d" . term-send-delete-word)
           ("M-," . term-send-raw)
           ("M-." . comint-dynamic-complete))
         term-unbind-key-alist
-        '("C-z" "C-x" "C-c" "C-h" "C-y" "<ESC>")))
+        '("C-z" "C-x" "C-c" "C-h"
+          ;; "C-y"
+          "<ESC>")))
 
 (use-package page-break-lines
 
 (use-package page-break-lines
+  :defer 0.5
+  :delight " pgln"
+  :custom
+  (page-break-lines-max-width fill-column)
   :config
   (global-page-break-lines-mode))
 
   :config
   (global-page-break-lines-mode))
 
   :config
   (defconst yas-verbosity-cur yas-verbosity)
   (setq yas-verbosity 2)
   :config
   (defconst yas-verbosity-cur yas-verbosity)
   (setq yas-verbosity 2)
-  (add-to-list 'yas-snippet-dirs "~/src/git/guix/etc/snippets")
+  (add-to-list 'yas-snippet-dirs "~/src/git/guix/etc/snippets" t)
   (yas-reload-all)
   (setq yas-verbosity yas-verbosity-cur)
   (yas-reload-all)
   (setq yas-verbosity yas-verbosity-cur)
-  :hook
-  (text-mode . yas-minor-mode))
+  (yas-global-mode))
 
 (use-package debbugs
   :straight (debbugs
 
 (use-package debbugs
   :straight (debbugs
    org-ref-bibliography-notes "~/usr/org/notes.org"
    org-ref-pdf-directory "~/usr/org/bibtex-pdfs/"))
 
    org-ref-bibliography-notes "~/usr/org/notes.org"
    org-ref-pdf-directory "~/usr/org/bibtex-pdfs/"))
 
+;; ugh, temporary (still better than using the proprietary web app)
 (use-package slack
   :commands (slack-start)
   :init
 (use-package slack
   :commands (slack-start)
   :init
 
 (use-package alert
   :commands (alert)
 
 (use-package alert
   :commands (alert)
-  :init
-  (setq alert-default-style 'notifier))
+  :init (setq alert-default-style 'notifications))
+
+;; (use-package fill-column-indicator)
+
+(use-package emojify
+  :hook (erc-mode . emojify-mode))
+
+\f
+;;; Email (with Gnus)
 
 (defvar a/maildir (expand-file-name "~/mail/"))
 (with-eval-after-load 'recentf
 
 (defvar a/maildir (expand-file-name "~/mail/"))
 (with-eval-after-load 'recentf
             (nnimap-address "127.0.0.1")
             (nnimap-server-port 143)
             (nnimap-authenticator plain)
             (nnimap-address "127.0.0.1")
             (nnimap-server-port 143)
             (nnimap-authenticator plain)
-            (nnimap-user "amin@bndl.org"))
-     (nnimap "uwaterloo"
+            (nnimap-user "amin@bndl.local"))
+     (nnimap "gnu"
+            (nnimap-stream plain)
+            (nnimap-address "127.0.0.1")
+            (nnimap-server-port 143)
+            (nnimap-authenticator plain)
+            (nnimap-user "bandali@gnu.local")
+            (nnimap-inbox "INBOX")
+            (nnimap-split-methods 'nnimap-split-fancy)
+            (nnimap-split-fancy (|
+                                 ;; (: gnus-registry-split-fancy-with-parent)
+                                 ;; (: gnus-group-split-fancy "INBOX" t "INBOX")
+                                 ;; gnu
+                                 (list ".*emacs-devel.gnu.org" "l.gnu.emacs.devel")
+                                 (list ".*help-gnu-emacs.gnu.org" "l.gnu.emacs.help")
+                                 (list ".*info-gnu-emacs.gnu.org" "l.gnu.emacs.info")
+                                 (list ".*emacs-orgmode.gnu.org" "l.gnu.emacs.orgmode")
+                                 (list ".*emacs-tangents.gnu.org" "l.gnu.emacs.tangents")
+                                 (list ".*emacsconf-discuss.gnu.org" "l.gnu.emacsconf.discuss")
+                                 (list ".*fencepost-users.gnu.org" "l.gnu.fencepost.users")
+                                 (list ".*gnunet-developers.gnu.org" "l.gnu.gnunet.developers")
+                                 (list ".*help-gnunet.gnu.org" "l.gnu.gnunet.help")
+                                 (list ".*bug-gnuzilla.gnu.org" "l.gnu.gnuzilla.bug")
+                                 (list ".*gnuzilla-dev.gnu.org" "l.gnu.gnuzilla.dev")
+                                 (list ".*guile-devel.gnu.org" "l.gnu.guile.devel")
+                                 (list ".*guile-user.gnu.org" "l.gnu.guile.user")
+                                 (list ".*guix-devel.gnu.org" "l.gnu.guix.devel")
+                                 (list ".*help-guix.gnu.org" "l.gnu.guix.help")
+                                 (list ".*info-guix.gnu.org" "l.gnu.guix.info")
+                                 (list ".*savannah-hackers-public.gnu.org" "l.gnu.savannah.hackers.public")
+                                 (list ".*savannah-users.gnu.org" "l.gnu.savannah.users")
+                                 (list ".*www-commits.gnu.org" "l.gnu.www.commits")
+                                 (list ".*www-discuss.gnu.org" "l.gnu.www.discuss")
+                                 ;; webmasters
+                                 (from "webmasters\\(-comment\\)?@gnu\\.org" "webmasters")
+                                 ;; haskell
+                                 (list ".*haskell-art.we.lurk.org" "l.haskell.art")
+                                 (list ".*haskell-cafe.haskell.org" "l.haskell.cafe")
+                                 ;; other
+                                 (list ".*deepspec.lists.cs.princeton.edu" "l.deepspec")
+                                 (list ".*notmuch.notmuchmail.org" "l.notmuch")
+                                 (list ".*dev.lists.parabola.nu" "l.parabola.dev")
+                                 ;; *@lists.sr.ht
+                                 (list ".*~bandali/public-inbox@lists.sr.ht" "l.~bandali.public-inbox")
+                                 (list ".*~sircmpwn/sr.ht-admins@lists.sr.ht" "l.~sircmpwn.srht.admins")
+                                 (list ".*~sircmpwn/sr.ht-announce@lists.sr.ht" "l.~sircmpwn.srht.announce")
+                                 (list ".*~sircmpwn/sr.ht-dev@lists.sr.ht" "l.~sircmpwn.srht.dev")
+                                 (list ".*~sircmpwn/sr.ht-discuss@lists.sr.ht" "l.~sircmpwn.srht.discuss")
+                                 "INBOX")))
+     (nnimap "uw"
              (nnimap-stream plain)
              (nnimap-address "127.0.0.1")
              (nnimap-server-port 143)
              (nnimap-authenticator plain)
              (nnimap-stream plain)
              (nnimap-address "127.0.0.1")
              (nnimap-server-port 143)
              (nnimap-authenticator plain)
-             (nnimap-user "abandali@uwaterloo.ca"))
-     (nnimap "csclub"
+             (nnimap-user "abandali@uw.local")
+             (nnimap-inbox "INBOX")
+             (nnimap-split-methods 'nnimap-split-fancy)
+             (nnimap-split-fancy (|
+                                  ;; (: gnus-registry-split-fancy-with-parent)
+                                  ;; se463-s19
+                                  ("subject" "\\(SE\\s-?463\\|Deliverable\\)" "course.se463-s19")
+                                  (from "\\(SE\\s-?463\\|Gema\\|Hemant\\|Davood\\|Camilo\\|Reza\\|Michael\\|Sandy\\)" "course.se463-s19")
+                                  ;; catch-all
+                                  "INBOX")))
+     (nnimap "csc"
              (nnimap-stream plain)
              (nnimap-address "127.0.0.1")
              (nnimap-server-port 143)
              (nnimap-authenticator plain)
              (nnimap-stream plain)
              (nnimap-address "127.0.0.1")
              (nnimap-server-port 143)
              (nnimap-authenticator plain)
-             (nnimap-user "abandali@csclub.uw")))
+             (nnimap-user "abandali@csc.uw.local")))
    gnus-message-archive-group "nnimap+amin:Sent"
    gnus-parameters
    gnus-message-archive-group "nnimap+amin:Sent"
    gnus-parameters
-   '(("gnu\\.deepspec"
+   '(("l\\.deepspec"
       (to-address . "deepspec@lists.cs.princeton.edu")
       (to-address . "deepspec@lists.cs.princeton.edu")
-      (to-list    . "deepspec@lists.cs.princeton.edu"))
-     ("gnu\\.emacs-devel"
+      (to-list    . "deepspec@lists.cs.princeton.edu")
+      (list-identifier . "\\[deepspec\\]"))
+     ("l\\.gnu\\.emacs\\.devel"
       (to-address . "emacs-devel@gnu.org")
       (to-list    . "emacs-devel@gnu.org"))
       (to-address . "emacs-devel@gnu.org")
       (to-list    . "emacs-devel@gnu.org"))
-     ("gnu\\.emacs-orgmode"
+     ("l\\.gnu\\.emacs\\.help"
+      (to-address . "help-gnu-emacs@gnu.org")
+      (to-list    . "help-gnu-emacs@gnu.org"))
+     ("l\\.gnu\\.emacs\\.info"
+      (to-address . "info-gnu-emacs@gnu.org")
+      (to-list    . "info-gnu-emacs@gnu.org"))
+     ("l\\.gnu\\.emacs\\.orgmode"
       (to-address . "emacs-orgmode@gnu.org")
       (to-address . "emacs-orgmode@gnu.org")
-      (to-list    . "emacs-orgmode@gnu.org"))
-     ("gnu\\.emacsconf-discuss"
+      (to-list    . "emacs-orgmode@gnu.org")
+      (list-identifier . "\\[O\\]"))
+     ("l\\.gnu\\.emacs\\.tangents"
+      (to-address . "emacs-tangents@gnu.org")
+      (to-list    . "emacs-tangents@gnu.org"))
+     ("l\\.gnu\\.emacsconf\\.discuss"
       (to-address . "emacsconf-discuss@gnu.org")
       (to-list    . "emacsconf-discuss@gnu.org"))
       (to-address . "emacsconf-discuss@gnu.org")
       (to-list    . "emacsconf-discuss@gnu.org"))
-     ("gnu\\.fencepost-users"
+     ("l\\.gnu\\.fencepost\\.users"
       (to-address . "fencepost-users@gnu.org")
       (to-address . "fencepost-users@gnu.org")
-      (to-list    . "fencepost-users@gnu.org"))
-     ("gnu\\.gnunet-developers"
+      (to-list    . "fencepost-users@gnu.org")
+      (list-identifier . "\\[Fencepost-users\\]"))
+     ("l\\.gnu\\.gnunet\\.developers"
       (to-address . "gnunet-developers@gnu.org")
       (to-address . "gnunet-developers@gnu.org")
-      (to-list    . "gnunet-developers@gnu.org"))
-     ("gnu\\.guile-devel"
+      (to-list    . "gnunet-developers@gnu.org")
+      (list-identifier . "\\[GNUnet-developers\\]"))
+     ("l\\.gnu\\.gnunet\\.help"
+      (to-address . "help-gnunet@gnu.org")
+      (to-list    . "help-gnunet@gnu.org")
+      (list-identifier . "\\[Help-gnunet\\]"))
+     ("l\\.gnu\\.gnuzilla\\.bug"
+      (to-address . "bug-gnuzilla@gnu.org")
+      (to-list    . "bug-gnuzilla@gnu.org")
+      (list-identifier . "\\[Bug-gnuzilla\\]"))
+     ("l\\.gnu\\.gnuzilla\\.dev"
+      (to-address . "gnuzilla-dev@gnu.org")
+      (to-list    . "gnuzilla-dev@gnu.org")
+      (list-identifier . "\\[Gnuzilla-dev\\]"))
+     ("l\\.gnu\\.guile\\.devel"
       (to-address . "guile-devel@gnu.org")
       (to-list    . "guile-devel@gnu.org"))
       (to-address . "guile-devel@gnu.org")
       (to-list    . "guile-devel@gnu.org"))
-     ("gnu\\.guix-devel"
+     ("l\\.gnu\\.guile\\.user"
+      (to-address . "guile-user@gnu.org")
+      (to-list    . "guile-user@gnu.org"))
+     ("l\\.gnu\\.guix\\.devel"
       (to-address . "guix-devel@gnu.org")
       (to-list    . "guix-devel@gnu.org"))
       (to-address . "guix-devel@gnu.org")
       (to-list    . "guix-devel@gnu.org"))
-     ("gnu\\.haskell-art"
-      (to-address . "haskell-art@we.lurk.org")
-      (to-list    . "haskell-art@we.lurk.org"))
-     ("gnu\\.haskell-cafe"
-      (to-address . "haskell-cafe@haskell.org")
-      (to-list    . "haskell-cafe@haskell.org"))
-     ("gnu\\.help-gnu-emacs"
-      (to-address . "help-gnu-emacs@gnu.org")
-      (to-list    . "help-gnu-emacs@gnu.org"))
-     ("gnu\\.info-gnu-emacs"
-      (to-address . "info-gnu-emacs@gnu.org")
-      (to-list    . "info-gnu-emacs@gnu.org"))
-     ("gnu\\.info-guix"
+     ("l\\.gnu\\.guix\\.help"
+      (to-address . "help-guix@gnu.org")
+      (to-list    . "help-guix@gnu.org"))
+     ("l\\.gnu\\.guix\\.info"
       (to-address . "info-guix@gnu.org")
       (to-list    . "info-guix@gnu.org"))
       (to-address . "info-guix@gnu.org")
       (to-list    . "info-guix@gnu.org"))
-     ("gnu\\.notmuch"
-      (to-address . "notmuch@notmuchmail.org")
-      (to-list    . "notmuch@notmuchmail.org"))
-     ("gnu\\.parabola-dev"
-      (to-address . "dev@lists.parabola.nu")
-      (to-list    . "dev@lists.parabola.nu"))
-     ("gnu\\.webmasters"
-      (to-address . "webmasters@gnu.org")
-      (to-list    . "webmasters@gnu.org"))
-     ("gnu\\.www-commits"
+     ("l\\.gnu\\.savannah\\.hackers\\.public"
+      (to-address . "savannah-hackers-public@gnu.org")
+      (to-list    . "savannah-hackers-public@gnu.org"))
+     ("l\\.gnu\\.savannah\\.users"
+      (to-address . "savannah-users@gnu.org")
+      (to-list    . "savannah-users@gnu.org"))
+     ("l\\.gnu\\.www\\.commits"
       (to-address . "www-commits@gnu.org")
       (to-list    . "www-commits@gnu.org"))
       (to-address . "www-commits@gnu.org")
       (to-list    . "www-commits@gnu.org"))
-     ("gnu\\.www-discuss"
+     ("l\\.gnu\\.www\\.discuss"
       (to-address . "www-discuss@gnu.org")
       (to-list    . "www-discuss@gnu.org"))
       (to-address . "www-discuss@gnu.org")
       (to-list    . "www-discuss@gnu.org"))
-     ("gnu\\.~bandali\\.public-inbox"
+     ("l\\.haskell\\.art"
+      (to-address . "haskell-art@we.lurk.org")
+      (to-list    . "haskell-art@we.lurk.org")
+      (list-identifier . "\\[haskell-art\\]"))
+     ("l\\.haskell\\.cafe"
+      (to-address . "haskell-cafe@haskell.org")
+      (to-list    . "haskell-cafe@haskell.org")
+      (list-identifier . "\\[Haskell-cafe\\]"))
+     ("l\\.notmuch"
+      (to-address . "notmuch@notmuchmail.org")
+      (to-list    . "notmuch@notmuchmail.org"))
+     ("l\\.parabola\\.dev"
+      (to-address . "dev@lists.parabola.nu")
+      (to-list    . "dev@lists.parabola.nu")
+      (list-identifier . "\\[Dev\\]"))
+     ("l\\.~bandali\\.public-inbox"
       (to-address . "~bandali/public-inbox@lists.sr.ht")
       (to-list    . "~bandali/public-inbox@lists.sr.ht"))
       (to-address . "~bandali/public-inbox@lists.sr.ht")
       (to-list    . "~bandali/public-inbox@lists.sr.ht"))
-     ("gnu\\.~sircmpwn\\.srht-admins"
+     ("l\\.~sircmpwn\\.srht\\.admins"
       (to-address . "~sircmpwn/sr.ht-admins@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-admins@lists.sr.ht"))
       (to-address . "~sircmpwn/sr.ht-admins@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-admins@lists.sr.ht"))
-     ("gnu\\.~sircmpwn\\.srht-announce"
+     ("l\\.~sircmpwn\\.srht\\.announce"
       (to-address . "~sircmpwn/sr.ht-announce@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-announce@lists.sr.ht"))
       (to-address . "~sircmpwn/sr.ht-announce@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-announce@lists.sr.ht"))
-     ("gnu\\.~sircmpwn\\.srht-dev"
+     ("l\\.~sircmpwn\\.srht\\.dev"
       (to-address . "~sircmpwn/sr.ht-dev@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-dev@lists.sr.ht"))
       (to-address . "~sircmpwn/sr.ht-dev@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-dev@lists.sr.ht"))
-     ("gnu\\.~sircmpwn\\.srht-discuss"
+     ("l\\.~sircmpwn\\.srht\\.discuss"
       (to-address . "~sircmpwn/sr.ht-discuss@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-discuss@lists.sr.ht"))
       (to-address . "~sircmpwn/sr.ht-discuss@lists.sr.ht")
       (to-list    . "~sircmpwn/sr.ht-discuss@lists.sr.ht"))
+     ("webmasters"
+      (to-address . "webmasters@gnu.org")
+      (to-list    . "webmasters@gnu.org"))
      ("gnu.*"
       (gcc-self . t))
      ("gnu\\."
      ("gnu.*"
       (gcc-self . t))
      ("gnu\\."
-      (subscribed . t)))
+      (subscribed . t))
+     ("nnimap\\+uw:.*"
+      (gcc-self . t)))
    gnus-large-newsgroup  50
    gnus-home-directory   (no-littering-expand-var-file-name "gnus/")
    gnus-directory        (concat gnus-home-directory "news/")
    gnus-large-newsgroup  50
    gnus-home-directory   (no-littering-expand-var-file-name "gnus/")
    gnus-directory        (concat gnus-home-directory "news/")
   (require 'ebdb-mua)
   (require 'ebdb-gnus)
 
   (require 'ebdb-mua)
   (require 'ebdb-gnus)
 
+  ;; (gnus-registry-initialize)
+
   (with-eval-after-load 'recentf
     (add-to-list 'recentf-exclude gnus-home-directory)))
 
   (with-eval-after-load 'recentf
     (add-to-list 'recentf-exclude gnus-home-directory)))
 
 
 (use-feature gnus-msg
   :config
 
 (use-feature gnus-msg
   :config
+  (defvar a/gnu-signature "Amin Bandali | GNU Webmaster
+https://bandali.eu.org | https://gnu.org
+GPG Key: BE62 7373 8E61 6D6D 1B3A  08E8 A21A 0202 4881 6103")
+  (defvar a/uw-signature "Amin Bandali, MMath Student
+Cheriton School of Computer Science
+University of Waterloo
+https://bandali.eu.org")
+  (defvar a/csc-signature "Amin Bandali | Termcom, CSC
+https://csclub.uwaterloo.ca/~abandali/")
   (setq gnus-posting-styles
         '((".*"
            (address "amin@bndl.org")
            (body "\nBest,\n")
            (eval (setq a/message-cite-say-hi t)))
   (setq gnus-posting-styles
         '((".*"
            (address "amin@bndl.org")
            (body "\nBest,\n")
            (eval (setq a/message-cite-say-hi t)))
-          ("gnu.*"
+          ("nnimap\\+gnu:.*"
            (address "bandali@gnu.org")
            (address "bandali@gnu.org")
+           (signature a/gnu-signature)
            (eval (set (make-local-variable 'message-user-fqdn) "fencepost.gnu.org")))
           ((header "subject" "ThankCRM")
            (to "webmasters-comment@gnu.org")
            (eval (set (make-local-variable 'message-user-fqdn) "fencepost.gnu.org")))
           ((header "subject" "ThankCRM")
            (to "webmasters-comment@gnu.org")
-           (body "Added  to 2019supporters.html.\n\nMoving to campaigns.\n\n-amin\n")
+           (body "")
            (eval (setq a/message-cite-say-hi nil)))
            (eval (setq a/message-cite-say-hi nil)))
-          ("nnimap\\+uwaterloo:.*"
+          ("nnimap\\+uw:.*"
            (address "abandali@uwaterloo.ca")
            (address "abandali@uwaterloo.ca")
-           (gcc "\"nnimap+uwaterloo:Sent Items\""))
-          ("nnimap\\+csclub:.*"
+           (signature a/uw-signature))
+          ("nnimap\\+uw:INBOX"
+           (gcc "\"nnimap+uw:Sent Items\""))
+          ("nnimap\\+csc:.*"
            (address "abandali@csclub.uwaterloo.ca")
            (address "abandali@csclub.uwaterloo.ca")
-           (gcc "nnimap+csclub:Sent")))))
+           (signature a/csc-signature)
+           (gcc "nnimap+csc:Sent")))))
 
 (use-feature gnus-topic
   :hook (gnus-group-mode . gnus-topic-mode)
 
 (use-feature gnus-topic
   :hook (gnus-group-mode . gnus-topic-mode)
   :config
   (setq gnus-permanently-visible-groups "\\(:INBOX$\\|:gnu$\\)"))
 
   :config
   (setq gnus-permanently-visible-groups "\\(:INBOX$\\|:gnu$\\)"))
 
+(comment
+  ;; problematic with ebdb's popup, *EBDB-Gnus*
+  (use-feature gnus-win
+    :config
+    (setq gnus-use-full-window nil)))
+
+(use-feature gnus-dired
+  :commands gnus-dired-mode
+  :init
+  (add-hook 'dired-mode-hook 'gnus-dired-mode))
+
 (use-feature mm-decode
   :config
   (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
 (use-feature mm-decode
   :config
   (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
   ;; (message-header-cc      ((t (:foreground "#333" :weight normal))))
   )
 
   ;; (message-header-cc      ((t (:foreground "#333" :weight normal))))
   )
 
-(with-eval-after-load 'mml-sec
-  (setq mml-secure-openpgp-encrypt-to-self t
-        mml-secure-openpgp-sign-with-sender t))
+(use-feature mml
+  :delight " mml")
+
+(use-feature mml-sec
+  :custom
+  (mml-secure-openpgp-encrypt-to-self t)
+  (mml-secure-openpgp-sign-with-sender t))
 
 (use-feature footnote
   :after message
 
 (use-feature footnote
   :after message
 
 (use-package message-x)
 
 
 (use-package message-x)
 
+(comment
+  (use-package message-x
+    :custom
+    (message-x-completion-alist
+     (quote
+      (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
+       ((if
+            (boundp
+             (quote message-newgroups-header-regexp))
+            message-newgroups-header-regexp message-newsgroups-header-regexp)
+        . message-expand-group))))))
+
+(comment
+  (use-package gnus-harvest
+    :commands gnus-harvest-install
+    :demand t
+    :config
+    (if (featurep 'message-x)
+        (gnus-harvest-install 'message-x)
+      (gnus-harvest-install))))
+
+\f
+;;; IRC (with ERC and ZNC)
+
+(use-feature erc
+  :bind (("C-c a e b" . erc-switch-to-buffer)
+         :map erc-mode-map
+         ("M-a" . erc-track-switch-buffer))
+  :custom
+  (erc-join-buffer 'bury)
+  (erc-lurker-hide-list '("JOIN" "PART" "QUIT"))
+  (erc-nick "bandali")
+  (erc-rename-buffers t)
+  (erc-server-reconnect-attempts 5)
+  (erc-server-reconnect-timeout 3)
+  :config
+  (with-eval-after-load 'ivy
+    ;; ignore channel buffer names
+    (add-to-list 'ivy-ignore-buffers "^#"))
+  (defun erc-cmd-OPME ()
+    "Request chanserv to op me."
+    (erc-message "PRIVMSG"
+                 (format "chanserv op %s %s"
+                         (erc-default-target)
+                         (erc-current-nick)) nil))
+  (defun erc-cmd-DEOPME ()
+    "Deop myself from current channel."
+    (erc-cmd-DEOP (format "%s" (erc-current-nick))))
+  (add-to-list 'erc-modules 'keep-place)
+  (add-to-list 'erc-modules 'notifications)
+  (add-to-list 'erc-modules 'spelling)
+  (add-to-list 'erc-modules 'scrolltoplace)
+  (erc-update-modules))
+
+(use-feature erc-fill
+  :after erc
+  :custom
+  (erc-fill-function 'erc-fill-static)
+  (erc-fill-static-center 18))
+
+(use-feature erc-pcomplete
+  :after erc
+  :custom
+  (erc-pcomplete-nick-postfix ","))
+
+(use-feature erc-track
+  :after erc
+  :custom
+  (erc-track-exclude-types '("JOIN" "MODE" "NICK" "PART" "QUIT"
+                             "324" "329" "332" "333" "353" "477"))
+  (erc-track-priority-faces-only 'all)
+  (erc-track-shorten-function nil))
+
+(use-package erc-hl-nicks
+  :after erc)
+
+(use-package erc-scrolltoplace
+  :after erc)
+
 (use-package znc
   :straight (:host nil :repo "https://git.bndl.org/amin/znc.el")
   :bind (("C-c a e e" . znc-erc)
 (use-package znc
   :straight (:host nil :repo "https://git.bndl.org/amin/znc.el")
   :bind (("C-c a e e" . znc-erc)
           `(("znc.bndl.org" 1337 t
              ((freenode "amin/freenode" ,pwd)))
             ("znc.bndl.org" 1337 t
           `(("znc.bndl.org" 1337 t
              ((freenode "amin/freenode" ,pwd)))
             ("znc.bndl.org" 1337 t
-             ((moznet "amin/moznet" ,pwd)))))))
+             ((moznet "amin/moznet" ,pwd)))
+            ("znc.bndl.org" 1337 t
+             ((oftc "amin/oftc" ,pwd)))))))
+
+\f
+;;; Post initialization
 
 (message "Loading %s...done (%.3fs)" user-init-file
          (float-time (time-subtract (current-time)
 
 (message "Loading %s...done (%.3fs)" user-init-file
          (float-time (time-subtract (current-time)