git.shemshak.org - ~bandali/configs/blob - init.org

   1 #+title: =aminb='s Literate Emacs Configuration
   2 #+author: Amin Bandali
   3 #+babel: :cache yes
   4 #+property: header-args :tangle yes
   5
   6 * About
   7 :PROPERTIES:
   8 :CUSTOM_ID: about
   9 :END:
  10
  11 This org file is my literate configuration for GNU Emacs, and is
  12 tangled to [[./init.el][init.el]]. Packages are installed and managed using
  13 [[https://github.com/emacscollective/borg][Borg]]. Over the years, I've taken inspiration from configurations of
  14 many different people. Some of the configurations that I can remember
  15 off the top of my head are:
  16
  17 - [[https://github.com/dieggsy/dotfiles][dieggsy/dotfiles]]: literate Emacs and dotfiles configuration, uses
  18   straight.el for managing packages
  19 - [[https://github.com/dakra/dmacs][dakra/dmacs]]: literate Emacs configuration, using Borg for managing
  20   packages
  21 - [[http://pages.sachachua.com/.emacs.d/Sacha.html][Sacha Chua's literate Emacs configuration]]
  22 - [[https://github.com/dakrone/eos][dakrone/eos]]
  23 - Ryan Rix's [[http://doc.rix.si/cce/cce.html][Complete Computing Environment]] ([[http://doc.rix.si/projects/fsem.html][about cce]])
  24 - [[https://github.com/jwiegley/dot-emacs][jwiegley/dot-emacs]]: nix-based configuration
  25 - [[https://github.com/wasamasa/dotemacs][wasamasa/dotemacs]]
  26 - [[https://github.com/hlissner/doom-emacs][Doom Emacs]]
  27
  28 I'd like to have a fully reproducible Emacs setup (part of the reason
  29 why I store my configuration in this repository) but unfortunately out
  30 of the box, that's not achievable with =package.el=, not currently
  31 anyway. So, I've opted to use Borg. For what it's worth, I briefly
  32 experimented with [[https://github.com/raxod502/straight.el][straight.el]], but found that it added about 2 seconds
  33 to my init time; which is unacceptable for me: I use Emacs as my
  34 window manager (via EXWM) and coming from bspwm, I'm too used to
  35 having fast startup times.
  36
  37 ** Installation
  38
  39 To use this config for your Emacs, first you need to clone this repo,
  40 then bootstrap Borg, tell Borg to retrieve package submodules, and
  41 byte-compiled the packages. Something along these lines should work:
  42
  43 #+begin_src sh :tangle no
  44 git clone https://github.com/aminb/dotfiles ~/.emacs.d
  45 cd ~/.emacs.d
  46 make bootstrap-borg
  47 make bootstrap
  48 make build
  49 #+end_src
  50
  51 * Contents                                                   :toc_1:noexport:
  52
  53 - [[#about][About]]
  54 - [[#header][Header]]
  55 - [[#initial-setup][Initial setup]]
  56 - [[#core][Core]]
  57 - [[#post-initialization][Post initialization]]
  58 - [[#footer][Footer]]
  59
  60 * Header
  61 :PROPERTIES:
  62 :CUSTOM_ID: header
  63 :END:
  64
  65 ** First line
  66
  67 #+begin_src emacs-lisp :comments none
  68 ;;; init.el --- Amin Bandali's Emacs config -*- lexical-binding: t ; eval: (view-mode 1)-*-
  69 #+end_src
  70
  71 Enable =view-mode=, which both makes the file read-only (as a reminder
  72 that =init.el= is an auto-generated file, not supposed to be edited),
  73 and provides some convenient key bindings for browsing through the
  74 file.
  75
  76 ** License
  77
  78 #+begin_src emacs-lisp :comments none
  79 ;; Copyright (C) 2018  Amin Bandali <amin@aminb.org>
  80
  81 ;; This program is free software: you can redistribute it and/or modify
  82 ;; it under the terms of the GNU General Public License as published by
  83 ;; the Free Software Foundation, either version 3 of the License, or
  84 ;; (at your option) any later version.
  85
  86 ;; This program is distributed in the hope that it will be useful,
  87 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  88 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  89 ;; GNU General Public License for more details.
  90
  91 ;; You should have received a copy of the GNU General Public License
  92 ;; along with this program.  If not, see <https://www.gnu.org/licenses/>.
  93 #+end_src
  94
  95 ** Commentary
  96
  97 #+begin_src emacs-lisp :comments none
  98 ;;; Commentary:
  99
 100 ;; Emacs configuration of Amin Bandali, computer scientist and functional
 101 ;; programmer.
 102
 103 ;; THIS FILE IS AUTO-GENERATED FROM `init.org'.
 104 #+end_src
 105
 106 ** Naming conventions
 107
 108 The conventions below were inspired by [[https://github.com/hlissner/doom-emacs][Doom]]'s, found [[https://github.com/hlissner/doom-emacs/blob/5dacbb7cb1c6ac246a9ccd15e6c4290def67757c/core/core.el#L3-L17][here]].
 109
 110 #+begin_src emacs-lisp :comments none
 111 ;; Naming conventions:
 112 ;;
 113 ;;   amin-...   public variables or non-interactive functions
 114 ;;   amin--...  private anything (non-interactive), not safe for direct use
 115 ;;   amin/...   an interactive function; safe for M-x or keybinding
 116 ;;   amin:...   an evil operator, motion, or command
 117 ;;   amin|...   a hook function
 118 ;;   amin*...   an advising function
 119 ;;   amin@...   a hydra command
 120 ;;   ...!       a macro
 121 #+end_src
 122
 123 * Initial setup
 124 :PROPERTIES:
 125 :CUSTOM_ID: initial-setup
 126 :END:
 127
 128 #+begin_src emacs-lisp :comments none
 129 ;;; Code:
 130 #+end_src
 131
 132 ** Emacs initialization
 133
 134 I'd like to do a couple of measurements of Emacs' startup time. First,
 135 let's see how long Emacs takes to start up, before even loading
 136 =init.el=, i.e. =user-init-file=:
 137
 138 #+begin_src emacs-lisp
 139 (defvar amin--before-user-init-time (current-time)
 140   "Value of `current-time' when Emacs begins loading `user-init-file'.")
 141 (message "Loading Emacs...done (%.3fs)"
 142          (float-time (time-subtract amin--before-user-init-time
 143                                     before-init-time)))
 144 #+end_src
 145
 146 Also, temporarily increase ~gc-cons-threshhold~ and
 147 ~gc-cons-percentage~ during startup to reduce garbage collection
 148 frequency. Clearing the ~file-name-handler-alist~ seems to help reduce
 149 startup time as well.
 150
 151 #+begin_src emacs-lisp
 152 (defvar amin--gc-cons-threshold gc-cons-threshold)
 153 (defvar amin--gc-cons-percentage gc-cons-percentage)
 154 (defvar amin--file-name-handler-alist file-name-handler-alist)
 155 (setq gc-cons-threshold (* 400 1024 1024)  ; 400 MiB
 156       gc-cons-percentage 0.6
 157       file-name-handler-alist nil
 158       ;; sidesteps a bug when profiling with esup
 159       esup-child-profile-require-level 0)
 160 #+end_src
 161
 162 Of course, we'd like to set them back to their defaults once we're
 163 done initializing.
 164
 165 #+begin_src emacs-lisp
 166 (add-hook
 167  'after-init-hook
 168  (lambda ()
 169    (setq gc-cons-threshold amin--gc-cons-threshold
 170          gc-cons-percentage amin--gc-cons-percentage
 171          file-name-handler-alist amin--file-name-handler-alist)))
 172 #+end_src
 173
 174 Increase the number of lines kept in message logs (the =*Messages*=
 175 buffer).
 176
 177 #+begin_src emacs-lisp
 178 (setq message-log-max 20000)
 179 #+end_src
 180
 181 Optionally, we could suppress some byte compiler warnings like below,
 182 but for now I've decided to keep them enabled. See documentation for
 183 ~byte-compile-warnings~ for more details.
 184
 185 #+begin_src emacs-lisp
 186 ;; (setq byte-compile-warnings
 187 ;;       '(not free-vars unresolved noruntime lexical make-local))
 188 #+end_src
 189
 190 ** whoami
 191
 192 #+begin_src emacs-lisp
 193 (setq user-full-name "Amin Bandali"
 194       user-mail-address "amin@aminb.org")
 195 #+end_src
 196
 197 ** Package management
 198
 199 *** No =package.el=
 200
 201 I can do all my package management things with Borg, and don't need
 202 Emacs' built-in =package.el=. Emacs 27 lets us disable =package.el= in
 203 the =early-init-file= (see [[https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=24acb31c04b4048b85311d794e600ecd7ce60d3b][here]]).
 204
 205 #+begin_src emacs-lisp :tangle early-init.el
 206 (setq package-enable-at-startup nil)
 207 #+end_src
 208
 209 But since Emacs 27 isn't out yet (Emacs 26 is just around the corner
 210 right now), and even when released it'll be long before most distros
 211 ship in their repos, I'll still put the old workaround with the
 212 commented call to ~package-initialize~ here anyway.
 213
 214 #+begin_src emacs-lisp
 215 (setq package-enable-at-startup nil)
 216 ;; (package-initialize)
 217 #+end_src
 218
 219 *** Borg
 220
 221 #+begin_quote
 222 Assimilate Emacs packages as Git submodules
 223 #+end_quote
 224
 225 [[https://github.com/emacscollective/borg][Borg]] is at the heart of package management of my Emacs setup. In
 226 short, it creates a git submodule in =lib/= for each package, which
 227 can then be managed with the help of Magit or other tools.
 228
 229 #+begin_src emacs-lisp
 230 (setq user-init-file (or load-file-name buffer-file-name)
 231       user-emacs-directory (file-name-directory user-init-file))
 232 (add-to-list 'load-path
 233              (expand-file-name "lib/borg" user-emacs-directory))
 234 (require 'borg)
 235 (borg-initialize)
 236
 237 ;; (require 'borg-nix-shell)
 238 ;; (setq borg-build-shell-command 'borg-nix-shell-build-command)
 239
 240 (with-eval-after-load 'bind-key
 241   (bind-keys
 242    :package borg
 243    ("C-c B A" . borg-activate)
 244    ("C-c B a" . borg-assimilate)
 245    ("C-c B b" . borg-build)
 246    ("C-c B c" . borg-clone)
 247    ("C-c B m" . borg-insert-update-message)
 248    ("C-c B r" . borg-remove)))
 249 #+end_src
 250
 251 *** =use-package=
 252
 253 #+begin_quote
 254 A use-package declaration for simplifying your .emacs
 255 #+end_quote
 256
 257 [[https://github.com/jwiegley/use-package][use-package]] is an awesome utility for managing and configuring
 258 packages (in our case especially the latter) in a neatly organized way
 259 and without compromising on performance.
 260
 261 #+begin_src emacs-lisp
 262 (require 'use-package)
 263 (if nil  ; set to t when need to debug init
 264     (setq use-package-verbose t
 265           use-package-expand-minimally nil
 266           use-package-compute-statistics t
 267           debug-on-error t)
 268   (setq use-package-verbose nil
 269         use-package-expand-minimally t))
 270 #+end_src
 271
 272 *** Epkg
 273
 274 #+begin_quote
 275 Browse the Emacsmirror package database
 276 #+end_quote
 277
 278 Epkg provides access to a local copy of the [[https://emacsmirror.net][Emacsmirror]] package
 279 database, low-level functions for querying the database, and a
 280 =package.el=-like user interface for browsing the available packages.
 281
 282 #+begin_src emacs-lisp
 283 (use-package epkg
 284   :defer t
 285   :bind
 286   (("C-c B d" . epkg-describe-package)
 287    ("C-c B p" . epkg-list-packages)
 288    ("C-c B u" . epkg-update)))
 289 #+end_src
 290
 291 ** No littering in =~/.emacs.d=
 292
 293 #+begin_quote
 294 Help keeping ~/.emacs.d clean
 295 #+end_quote
 296
 297 By default, even for Emacs' built-in packages, the configuration files
 298 and persistent data are all over the place. Use =no-littering= to help
 299 contain the mess.
 300
 301 #+begin_src emacs-lisp
 302 (use-package no-littering
 303   :demand t
 304   :config
 305   (savehist-mode 1)
 306   (add-to-list 'savehist-additional-variables 'kill-ring)
 307   (save-place-mode 1)
 308   (setq auto-save-file-name-transforms
 309         `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
 310 #+end_src
 311
 312 ** Custom file (=custom.el=)
 313
 314 I'm not planning on using the custom file much, but even so, I
 315 definitely don't want it mixing with =init.el=. So, here; let's give
 316 it it's own file. While at it, treat themes as safe.
 317
 318 #+begin_src emacs-lisp
 319 (use-package custom
 320   :no-require t
 321   :config
 322   (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
 323   (when (file-exists-p custom-file)
 324     (load custom-file))
 325   (setf custom-safe-themes t))
 326 #+end_src
 327
 328 ** Secrets file
 329
 330 #+begin_src emacs-lisp
 331 (load (no-littering-expand-etc-file-name "secrets"))
 332 #+end_src
 333
 334 ** Better =$PATH= handling
 335
 336 Let's use [[https://github.com/purcell/exec-path-from-shell][exec-path-from-shell]] to make Emacs use the =$PATH= as set up
 337 in my shell.
 338
 339 #+begin_src emacs-lisp
 340 (use-package exec-path-from-shell
 341   :defer 1
 342   :init
 343   (setq exec-path-from-shell-check-startup-files nil)
 344   :config
 345   (exec-path-from-shell-initialize)
 346   ;; while we're at it, let's fix access to our running ssh-agent
 347   (exec-path-from-shell-copy-env "SSH_AGENT_PID")
 348   (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
 349 #+end_src
 350
 351 ** Only one custom theme at a time
 352
 353 #+begin_src emacs-lisp
 354 (defadvice load-theme (before clear-previous-themes activate)
 355   "Clear existing theme settings instead of layering them"
 356   (mapc #'disable-theme custom-enabled-themes))
 357 #+end_src
 358
 359 ** Server
 360
 361 Start server if not already running. Alternatively, can be done by
 362 issuing =emacs --daemon= in the terminal, which can be automated with
 363 a systemd service or using =brew services start emacs= on macOS. I use
 364 Emacs as my window manager (via EXWM), so I always start Emacs on
 365 login; so starting the server from inside Emacs is good enough for me.
 366
 367 See [[https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server][Using Emacs as a Server]].
 368
 369 #+begin_src emacs-lisp
 370 (use-package server
 371   :defer 1
 372   :config (or (server-running-p) (server-mode)))
 373 #+end_src
 374
 375 ** COMMENT Unicode support
 376
 377 Font stack with better unicode support, around =Ubuntu Mono= and
 378 =Hack=.
 379
 380 #+begin_src emacs-lisp :tangle no
 381 (dolist (ft (fontset-list))
 382   (set-fontset-font
 383    ft
 384    'unicode
 385    (font-spec :name "Source Code Pro" :size 14))
 386   (set-fontset-font
 387    ft
 388    'unicode
 389    (font-spec :name "DejaVu Sans Mono")
 390    nil
 391    'append)
 392   ;; (set-fontset-font
 393   ;;  ft
 394   ;;  'unicode
 395   ;;  (font-spec
 396   ;;   :name "Symbola monospacified for DejaVu Sans Mono")
 397   ;;  nil
 398   ;;  'append)
 399   ;; (set-fontset-font
 400   ;;  ft
 401   ;;  #x2115  ; ℕ
 402   ;;  (font-spec :name "DejaVu Sans Mono")
 403   ;;  nil
 404   ;;  'append)
 405   (set-fontset-font
 406    ft
 407    (cons ?Α ?ω)
 408    (font-spec :name "DejaVu Sans Mono" :size 14)
 409    nil
 410    'prepend))
 411 #+end_src
 412
 413 ** Gentler font resizing
 414
 415 #+begin_src emacs-lisp
 416 (setq text-scale-mode-step 1.05)
 417 #+end_src
 418
 419 ** Libraries
 420
 421 #+begin_src emacs-lisp
 422 (require 'cl-lib)
 423 (require 'subr-x)
 424 #+end_src
 425
 426 ** Useful utilities
 427
 428 #+begin_src emacs-lisp
 429 (defun amin-enlist (exp)
 430   "Return EXP wrapped in a list, or as-is if already a list."
 431 (if (listp exp) exp (list exp)))
 432
 433 ; from https://github.com/hlissner/doom-emacs/commit/589108fdb270f24a98ba6209f6955fe41530b3ef
 434 (defmacro after! (features &rest body)
 435   "A smart wrapper around `with-eval-after-load'. Supresses warnings during
 436 compilation."
 437   (declare (indent defun) (debug t))
 438   (list (if (or (not (bound-and-true-p byte-compile-current-file))
 439                 (dolist (next (amin-enlist features))
 440                   (if (symbolp next)
 441                       (require next nil :no-error)
 442                     (load next :no-message :no-error))))
 443             #'progn
 444           #'with-no-warnings)
 445         (cond ((symbolp features)
 446                `(eval-after-load ',features '(progn ,@body)))
 447               ((and (consp features)
 448                     (memq (car features) '(:or :any)))
 449                `(progn
 450                   ,@(cl-loop for next in (cdr features)
 451                              collect `(after! ,next ,@body))))
 452               ((and (consp features)
 453                     (memq (car features) '(:and :all)))
 454                (dolist (next (cdr features))
 455                  (setq body `(after! ,next ,@body)))
 456                body)
 457               ((listp features)
 458                `(after! (:all ,@features) ,@body)))))
 459 #+end_src
 460
 461 Convenience macro for =setq='ing multiple variables to the same value:
 462
 463 #+begin_src emacs-lisp
 464 (defmacro setq-every! (value &rest vars)
 465   "Set all the variables from VARS to value VALUE."
 466   (declare (indent defun) (debug t))
 467   `(progn ,@(mapcar (lambda (x) (list 'setq x value)) vars)))
 468 #+end_src
 469
 470 * Core
 471 :PROPERTIES:
 472 :CUSTOM_ID: core
 473 :END:
 474
 475 ** Defaults
 476
 477 *** Time and battery in mode-line
 478
 479 Enable displaying time and battery in the mode-line, since I'm not
 480 using the Xfce panel anymore. Also, I don't need to see the load
 481 average on a regular basis, so disable that.
 482
 483 Note: using =i3status= on sway at the moment, so disabling this.
 484
 485 #+begin_src emacs-lisp :tangle no
 486 (use-package time
 487   :init
 488   (setq display-time-default-load-average nil)
 489   :config
 490   (display-time-mode))
 491
 492 (use-package battery
 493   :config
 494   (display-battery-mode))
 495 #+end_src
 496
 497 *** Smaller fringe
 498
 499 Might want to set the fringe to a smaller value, especially if using
 500 EXWM. I'm fine with the default for now.
 501
 502 #+begin_src emacs-lisp
 503 ;; (fringe-mode '(3 . 1))
 504 (fringe-mode nil)
 505 #+end_src
 506
 507 *** Disable disabled commands
 508
 509 Emacs disables some commands by default that could persumably be
 510 confusing for novice users. Let's disable that.
 511
 512 #+begin_src emacs-lisp
 513 (setq disabled-command-function nil)
 514 #+end_src
 515
 516 *** Kill-ring
 517
 518 Save what I copy into clipboard from other applications into Emacs'
 519 kill-ring, which would allow me to still be able to easily access it
 520 in case I kill (cut or copy) something else inside Emacs before
 521 yanking (pasting) what I'd originally intended to.
 522
 523 #+begin_src emacs-lisp
 524 (setq save-interprogram-paste-before-kill t)
 525 #+end_src
 526
 527 *** Minibuffer
 528
 529 #+begin_src emacs-lisp
 530 (setq enable-recursive-minibuffers t
 531       resize-mini-windows t)
 532 #+end_src
 533
 534 *** Lazy-person-friendly yes/no prompts
 535
 536 Lazy people would prefer to type fewer keystrokes, especially for yes
 537 or no questions. I'm lazy.
 538
 539 #+begin_src emacs-lisp
 540 (defalias 'yes-or-no-p #'y-or-n-p)
 541 #+end_src
 542
 543 *** Startup screen and =*scratch*=
 544
 545 Firstly, let Emacs know that I'd like to have =*scratch*= as my
 546 startup buffer.
 547
 548 #+begin_src emacs-lisp
 549 (setq initial-buffer-choice t)
 550 #+end_src
 551
 552 Now let's customize the =*scratch*= buffer a bit. First off, I don't
 553 need the default hint.
 554
 555 #+begin_src emacs-lisp
 556 (setq initial-scratch-message nil)
 557 #+end_src
 558
 559 Also, let's use Text mode as the major mode, in case I want to
 560 customize it (=*scratch*='s default major mode, Fundamental mode,
 561 can't really be customized).
 562
 563 #+begin_src emacs-lisp
 564 (setq initial-major-mode 'text-mode)
 565 #+end_src
 566
 567 Inhibit the buffer list when more than 2 files are loaded.
 568
 569 #+begin_src emacs-lisp
 570 (setq inhibit-startup-buffer-menu t)
 571 #+end_src
 572
 573 I don't really need to see the startup screen or echo area message
 574 either.
 575
 576 #+begin_src emacs-lisp
 577 (advice-add #'display-startup-echo-area-message :override #'ignore)
 578 (setq inhibit-startup-screen t
 579       inhibit-startup-echo-area-message user-login-name)
 580 #+end_src
 581
 582 *** More useful frame titles
 583
 584 Show either the file name or the buffer name (in case the buffer isn't
 585 visiting a file). Borrowed from Emacs Prelude.
 586
 587 #+begin_src emacs-lisp
 588 (setq frame-title-format
 589       '("" invocation-name " - "
 590         (:eval (if (buffer-file-name)
 591                    (abbreviate-file-name (buffer-file-name))
 592                  "%b"))))
 593 #+end_src
 594
 595 *** Backups
 596
 597 Emacs' default backup settings aren't that great. Let's use more
 598 sensible options. See documentation for the ~make-backup-file~
 599 variable.
 600
 601 #+begin_src emacs-lisp
 602 (setq backup-by-copying t
 603       version-control t
 604       delete-old-versions t)
 605 #+end_src
 606
 607 *** Auto revert
 608
 609 Enable automatic reloading of changed buffers and files.
 610
 611 #+begin_src emacs-lisp
 612 (global-auto-revert-mode 1)
 613 (setq auto-revert-verbose nil
 614       global-auto-revert-non-file-buffers nil)
 615 #+end_src
 616
 617 *** Always use space for indentation
 618
 619 #+begin_src emacs-lisp
 620 (setq-default
 621  indent-tabs-mode nil
 622  require-final-newline t
 623  tab-width 4)
 624 #+end_src
 625
 626 *** Winner mode
 627
 628 Enable =winner-mode=.
 629
 630 #+begin_src emacs-lisp
 631 (winner-mode 1)
 632 #+end_src
 633
 634 *** Close =*compilation*= on success
 635
 636 #+begin_src emacs-lisp
 637 (setq compilation-exit-message-function
 638       (lambda (status code msg)
 639         "Close the compilation window if successful."
 640         ;; if M-x compile exits with 0
 641          (when (and (eq status 'exit) (zerop code))
 642            (bury-buffer)
 643            (delete-window (get-buffer-window (get-buffer "*compilation*"))))
 644          ;; return the result of compilation-exit-message-function
 645          (cons msg code)))
 646 #+end_src
 647
 648 ** Bindings
 649
 650 #+begin_src emacs-lisp
 651 (bind-keys
 652  ("C-c b k" . kill-this-buffer)
 653  ("C-c b s" . save-buffer)
 654  ("C-c S"   . save-buffer)
 655  ("C-c o"   . other-window)
 656  ("C-c q q" . save-buffers-kill-terminal)
 657
 658  ("C-c F m" . make-frame-command)
 659  ("C-c F d" . delete-frame)
 660  ("C-c F D" . delete-other-frames)
 661
 662  ("s-c e b" . eval-buffer)
 663  ("s-c e r" . eval-region)
 664
 665  ("s-p"     . beginning-of-buffer)
 666  ("s-n"     . end-of-buffer))
 667 #+end_src
 668
 669 ** Packages
 670
 671 The packages in this section are absolutely essential to my everyday
 672 workflow, and they play key roles in how I do my computing. They
 673 immensely enhance the Emacs experience for me; both using Emacs, and
 674 customizing it.
 675
 676 *** [[https://github.com/emacscollective/auto-compile][auto-compile]]
 677
 678 #+begin_src emacs-lisp
 679 (use-package auto-compile
 680   :demand t
 681   :config
 682   (auto-compile-on-load-mode)
 683   (auto-compile-on-save-mode)
 684   (setq auto-compile-display-buffer               nil
 685         auto-compile-mode-line-counter            t
 686         auto-compile-source-recreate-deletes-dest t
 687         auto-compile-toggle-deletes-nonlib-dest   t
 688         auto-compile-update-autoloads             t)
 689   (add-hook 'auto-compile-inhibit-compile-hook
 690             'auto-compile-inhibit-compile-detached-git-head))
 691 #+end_src
 692
 693 *** [[https://orgmode.org/][Org mode]]
 694
 695 #+begin_quote
 696 Org mode is for keeping notes, maintaining TODO lists, planning
 697 projects, and authoring documents with a fast and effective plain-text
 698 system.
 699 #+end_quote
 700
 701 In short, my favourite way of life.
 702
 703 #+begin_src emacs-lisp
 704 (use-package org
 705   :defer 3
 706   :config
 707   (setq org-src-tab-acts-natively t
 708         org-src-preserve-indentation nil
 709         org-edit-src-content-indentation 0
 710         org-email-link-description-format "Email %c: %s" ; %.30s
 711         org-log-done 'time)
 712   (add-to-list 'org-structure-template-alist '("L" . "src emacs-lisp") t)
 713   :bind (:map org-mode-map ("M-L" . org-insert-last-stored-link))
 714   :hook ((org-mode . org-indent-mode)
 715          (org-mode . auto-fill-mode)
 716          (org-mode . flyspell-mode))
 717   :custom
 718   (org-latex-packages-alist '(("" "listings") ("" "color"))))
 719
 720 (use-package ox-latex
 721   :after ox
 722   :config
 723   (setq org-latex-listings 'listings
 724         ;; org-latex-prefer-user-labels t
 725         )
 726   (add-to-list 'org-latex-packages-alist '("" "listings"))
 727   (add-to-list 'org-latex-packages-alist '("" "color"))
 728   (add-to-list 'org-latex-classes
 729                '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
 730                  ("\\section{%s}" . "\\section*{%s}")
 731                  ("\\subsection{%s}" . "\\subsection*{%s}")
 732                  ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
 733                  ("\\paragraph{%s}" . "\\paragraph*{%s}")
 734                  ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
 735                t))
 736
 737 (use-package ox-beamer
 738   :after ox)
 739
 740 (use-package orgalist
 741   :after message
 742   :hook (message-mode . orgalist-mode))
 743 #+end_src
 744
 745 **** asynchronous tangle
 746
 747 =amin/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
 748 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
 749 file.
 750
 751 #+begin_src emacs-lisp
 752 (after! org
 753   (defvar amin-show-async-tangle-results nil
 754     "Keep *emacs* async buffers around for later inspection.")
 755
 756   (defvar amin-show-async-tangle-time nil
 757     "Show the time spent tangling the file.")
 758
 759   (defvar amin-async-tangle-post-compile "make ti"
 760     "If non-nil, pass to `compile' after successful tangle.")
 761
 762   (defun amin/async-babel-tangle ()
 763     "Tangle org file asynchronously."
 764     (interactive)
 765     (let* ((file-tangle-start-time (current-time))
 766            (file (buffer-file-name))
 767            (file-nodir (file-name-nondirectory file))
 768            (async-quiet-switch "-q"))
 769       (async-start
 770        `(lambda ()
 771           (require 'org)
 772           (org-babel-tangle-file ,file))
 773        (unless amin-show-async-tangle-results
 774          `(lambda (result)
 775             (if result
 776                 (progn
 777                   (message "Tangled %s%s"
 778                            ,file-nodir
 779                            (if amin-show-async-tangle-time
 780                                (format " (%.3fs)"
 781                                        (float-time (time-subtract (current-time)
 782                                                                   ',file-tangle-start-time)))
 783                              ""))
 784                   (when amin-async-tangle-post-compile
 785                     (compile amin-async-tangle-post-compile)))
 786               (message "Tangling %s failed" ,file-nodir))))))))
 787
 788 (add-to-list
 789  'safe-local-variable-values
 790  '(eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))
 791 #+end_src
 792
 793 *** [[https://magit.vc/][Magit]]
 794
 795 #+begin_quote
 796 It's Magit! A Git porcelain inside Emacs.
 797 #+end_quote
 798
 799 Not just how I do git, but /the/ way to do git.
 800
 801 #+begin_src emacs-lisp
 802 (use-package magit
 803   :defer 2
 804   :bind
 805   (("s-g" . magit-status)
 806    :prefix-map amin--magit-prefix-map
 807    :prefix "C-c g"
 808    ("SPC" . magit-status)
 809    ("s"   . magit-status)
 810    ("S"   . magit-status-prefix)
 811    ("B"   . magit-blame-addition)
 812    ("C"   . magit-clone)
 813    ("f"   . magit-fetch-other)
 814    ("F"   . magit-pull-branch)
 815    ("P"   . magit-push-other)
 816    ("p"   . magit-dispatch-popup)
 817    ("c c" . magit-commit-create)
 818    ("c a" . magit-commit-amend)
 819    ("b b" . magit-checkout)
 820    ("b c" . magit-branch-create))
 821   :config
 822   (magit-add-section-hook 'magit-status-sections-hook
 823                           'magit-insert-modules
 824                           'magit-insert-stashes
 825                           'append)
 826   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 827 #+end_src
 828
 829 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
 830
 831 #+begin_quote
 832 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
 833 an overview, and more. Oh, man!
 834 #+end_quote
 835
 836 There's no way I could top that, so I won't attempt to.
 837
 838 **** Ivy
 839
 840 #+begin_src emacs-lisp
 841 (use-package ivy
 842   :defer 1
 843   :bind
 844   (("C-c b b" . ivy-switch-buffer)
 845    :map ivy-minibuffer-map
 846    ([escape] . keyboard-escape-quit)
 847    ([S-up]   . ivy-previous-history-element)
 848    ([S-down] . ivy-next-history-element)
 849    ("DEL"    . ivy-backward-delete-char))
 850   :config
 851   (setq ivy-wrap t)
 852   (ivy-mode 1)
 853   :custom-face
 854   (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
 855   (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
 856   (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold)))))
 857 #+end_src
 858
 859 **** Swiper
 860
 861 #+begin_src emacs-lisp
 862 (use-package swiper
 863   :bind (("C-s" . swiper)
 864          ("C-r" . swiper)))
 865 #+end_src
 866
 867 **** Counsel
 868
 869 #+begin_src emacs-lisp
 870 (use-package counsel
 871   :defer 1
 872   :bind (([remap execute-extended-command] . counsel-M-x)
 873          ([remap find-file]                . counsel-find-file)
 874          ("s-r"                            . counsel-recentf)
 875          ("C-c x"                          . counsel-M-x)
 876          ("C-c f ."                        . counsel-find-file)
 877          :map minibuffer-local-map
 878          ("C-r" . counsel-minibuffer-history))
 879   :config
 880   (counsel-mode 1)
 881   (defalias 'locate #'counsel-locate))
 882 #+end_src
 883
 884 *** eshell
 885
 886 #+begin_src emacs-lisp
 887 (use-package eshell
 888   :defer t
 889   :commands eshell
 890   :config
 891   (eval-when-compile (defvar eshell-prompt-regexp))
 892   (defun amin/eshell-quit-or-delete-char (arg)
 893     (interactive "p")
 894     (if (and (eolp) (looking-back eshell-prompt-regexp nil))
 895         (eshell-life-is-too-much)
 896       (delete-char arg)))
 897
 898   (defun amin/eshell-clear ()
 899     (interactive)
 900     (let ((inhibit-read-only t))
 901       (erase-buffer))
 902     (eshell-send-input))
 903
 904   (defun amin|eshell-setup ()
 905     (bind-keys :map eshell-mode-map
 906                ("C-d" . amin/eshell-quit-or-delete-char)
 907                ("C-l" . amin/eshell-clear)))
 908
 909   :hook (eshell-mode . amin|eshell-setup))
 910 #+end_src
 911
 912 *** Ibuffer
 913
 914 #+begin_src emacs-lisp
 915 (use-package ibuffer
 916   :defer t
 917   :bind
 918   (("C-x C-b" . ibuffer-other-window)
 919    ("C-c b B" . ibuffer-other-window)
 920    :map ibuffer-mode-map
 921    ("P"   . ibuffer-backward-filter-group)
 922    ("N"   . ibuffer-forward-filter-group)
 923    ("M-p" . ibuffer-do-print)
 924    ("M-n" . ibuffer-do-shell-command-pipe-replace))
 925   :config
 926   ;; Use human readable Size column instead of original one
 927   (define-ibuffer-column size-h
 928     (:name "Size" :inline t)
 929     (cond
 930      ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
 931      ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
 932      ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
 933      (t (format "%8d" (buffer-size)))))
 934   :custom
 935   (ibuffer-saved-filter-groups
 936    '(("default"
 937       ("dired" (mode . dired-mode))
 938       ("org"   (mode . org-mode))
 939       ("web"
 940        (or
 941         (mode . web-mode)
 942         (mode . css-mode)
 943         (mode . scss-mode)
 944         (mode . js2-mode)))
 945       ("shell"
 946        (or
 947         (mode . eshell-mode)
 948         (mode . shell-mode)))
 949       ("notmuch" (name . "\*notmuch\*"))
 950       ("programming"
 951        (or
 952         (mode . python-mode)
 953         (mode . c++-mode)
 954         (mode . emacs-lisp-mode)))
 955       ("emacs"
 956        (or
 957         (name . "^\\*scratch\\*$")
 958         (name . "^\\*Messages\\*$")))
 959       ("slack"
 960        (or
 961         (name . "^\\*Slack*"))))))
 962   (ibuffer-formats
 963    '((mark modified read-only locked " "
 964            (name 18 18 :left :elide)
 965            " "
 966            (size-h 9 -1 :right)
 967            " "
 968            (mode 16 16 :left :elide)
 969            " " filename-and-process)
 970      (mark " "
 971            (name 16 -1)
 972            " " filename)))
 973   :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
 974 #+end_src
 975
 976 *** Outline
 977
 978 #+begin_src emacs-lisp
 979 (use-package outline
 980   :defer t
 981   :hook (prog-mode . outline-minor-mode)
 982   :bind
 983   (:map
 984    outline-minor-mode-map
 985    ("<s-tab>"  . outline-toggle-children)
 986    ("M-p"      . outline-previous-visible-heading)
 987    ("M-n"      . outline-next-visible-heading)
 988    :prefix-map amin--outline-prefix-map
 989    :prefix "s-o"
 990    ("TAB" . outline-toggle-children)
 991    ("a"   . outline-hide-body)
 992    ("H"   . outline-hide-body)
 993    ("S"   . outline-show-all)
 994    ("h"   . outline-hide-subtree)
 995    ("s"   . outline-show-subtree)))
 996 #+end_src
 997
 998 * Borg's =layer/essentials=
 999
1000 TODO: break this giant source block down into individual org sections.
1001
1002 #+begin_src emacs-lisp
1003 (use-package dash
1004   :config (dash-enable-font-lock))
1005
1006 (use-package diff-hl
1007   :config
1008   (setq diff-hl-draw-borders nil)
1009   (global-diff-hl-mode)
1010   (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
1011
1012 (use-package dired
1013   :defer t
1014   :config (setq dired-listing-switches "-alh"))
1015
1016 (use-package eldoc
1017   :when (version< "25" emacs-version)
1018   :config (global-eldoc-mode))
1019
1020 (use-package help
1021   :defer t
1022   :config (temp-buffer-resize-mode))
1023
1024 (progn ;    `isearch'
1025   (setq isearch-allow-scroll t))
1026
1027 (use-package lisp-mode
1028   :config
1029   (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1030   (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1031   (defun indent-spaces-mode ()
1032     (setq indent-tabs-mode nil))
1033   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1034
1035 (use-package man
1036   :defer t
1037   :config (setq Man-width 80))
1038
1039 (use-package paren
1040   :config (show-paren-mode))
1041
1042 (use-package prog-mode
1043   :config (global-prettify-symbols-mode)
1044   (defun indicate-buffer-boundaries-left ()
1045     (setq indicate-buffer-boundaries 'left))
1046   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1047
1048 (use-package recentf
1049   :defer 0.5
1050   :config
1051   (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1052   (setq recentf-max-saved-items 40))
1053
1054 (use-package savehist
1055   :config (savehist-mode))
1056
1057 (use-package saveplace
1058   :when (version< "25" emacs-version)
1059   :config (save-place-mode))
1060
1061 (use-package simple
1062   :config (column-number-mode))
1063
1064 (progn ;    `text-mode'
1065   (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left))
1066
1067 (use-package tramp
1068   :defer t
1069   :config
1070   (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1071   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1072   (add-to-list 'tramp-default-proxies-alist
1073                (list (regexp-quote (system-name)) nil nil)))
1074
1075 (use-package undo-tree
1076   :bind (("C-?" . undo-tree-undo)
1077          ("M-_" . undo-tree-redo))
1078   :config
1079   (global-undo-tree-mode)
1080   (setq undo-tree-mode-lighter ""
1081         undo-tree-auto-save-history t))
1082 #+end_src
1083
1084 * Editing
1085
1086 ** Company
1087
1088 #+begin_src emacs-lisp
1089 (use-package company
1090   :defer 2
1091   :bind
1092   (:map company-active-map
1093         ([tab]    . company-complete-common-or-cycle)
1094         ([escape] . company-abort))
1095   :custom
1096   (company-idle-delay 0.3)
1097   (company-minimum-prefix-length 1)
1098   (company-selection-wrap-around t)
1099   (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1100   (company-dabbrev-downcase nil)
1101   (company-dabbrev-ignore-case nil)
1102   :config
1103   (global-company-mode t))
1104 #+end_src
1105
1106 * Syntax and spell checking
1107 #+begin_src emacs-lisp
1108 (use-package flycheck
1109   :defer 3
1110   :hook (prog-mode . flycheck-mode)
1111   :bind
1112   (:map flycheck-mode-map
1113         ("M-P" . flycheck-previous-error)
1114         ("M-N" . flycheck-next-error))
1115   :config
1116   ;; Use the load-path from running Emacs when checking elisp files
1117   (setq flycheck-emacs-lisp-load-path 'inherit)
1118
1119   ;; Only flycheck when I actually save the buffer
1120   (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1121
1122 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1123 (use-package ispell
1124   :defer 3
1125   :config
1126   ;; ’ can be part of a word
1127   (setq ispell-local-dictionary-alist
1128         `((nil "[[:alpha:]]" "[^[:alpha:]]"
1129                "['\x2019]" nil ("-B") nil utf-8)))
1130   ;; don't send ’ to the subprocess
1131   (defun endless/replace-apostrophe (args)
1132     (cons (replace-regexp-in-string
1133            "’" "'" (car args))
1134           (cdr args)))
1135   (advice-add #'ispell-send-string :filter-args
1136               #'endless/replace-apostrophe)
1137
1138   ;; convert ' back to ’ from the subprocess
1139   (defun endless/replace-quote (args)
1140     (if (not (derived-mode-p 'org-mode))
1141         args
1142       (cons (replace-regexp-in-string
1143              "'" "’" (car args))
1144             (cdr args))))
1145   (advice-add #'ispell-parse-output :filter-args
1146               #'endless/replace-quote))
1147 #+end_src
1148 * Programming modes
1149
1150 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1151
1152 #+begin_src emacs-lisp
1153 (use-package alloy-mode
1154   :defer t
1155   :config (setq alloy-basic-offset 2))
1156 #+end_src
1157
1158 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1159
1160 #+begin_src emacs-lisp
1161 (use-package proof-site  ; Proof General
1162   :defer t
1163   :load-path "lib/proof-site/generic/")
1164 #+end_src
1165
1166 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1167
1168 #+begin_src emacs-lisp
1169 (eval-when-compile (defvar lean-mode-map))
1170 (use-package lean-mode
1171   :defer 1
1172   :bind (:map lean-mode-map
1173               ("S-SPC" . company-complete))
1174   :config
1175   (require 'lean-input)
1176   (setq default-input-method "Lean"
1177         lean-input-tweak-all '(lean-input-compose
1178                                (lean-input-prepend "/")
1179                                (lean-input-nonempty))
1180         lean-input-user-translations '(("/" "/")))
1181   (lean-input-setup))
1182   #+end_src
1183
1184 ** Haskell
1185
1186 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1187
1188 #+begin_src emacs-lisp
1189 (use-package haskell-mode
1190   :defer t
1191   :config
1192   (setq haskell-indentation-layout-offset 4
1193         haskell-indentation-left-offset 4
1194         flycheck-checker 'haskell-hlint
1195         flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1196 #+end_src
1197
1198 *** [[https://github.com/jyp/dante][dante]]
1199
1200 #+begin_src emacs-lisp
1201 (use-package dante
1202   :after haskell-mode
1203   :commands dante-mode
1204   :hook (haskell-mode . dante-mode))
1205 #+end_src
1206
1207 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1208
1209 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1210 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1211
1212 #+begin_src emacs-lisp
1213 (use-package hlint-refactor
1214   :after haskell-mode
1215   :bind (:map hlint-refactor-mode-map
1216               ("C-c l b" . hlint-refactor-refactor-buffer)
1217               ("C-c l r" . hlint-refactor-refactor-at-point))
1218   :hook (haskell-mode . hlint-refactor-mode))
1219 #+end_src
1220
1221 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1222
1223 #+begin_src emacs-lisp
1224 (use-package flycheck-haskell
1225   :after haskell-mode)
1226 #+end_src
1227
1228 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1229 :PROPERTIES:
1230 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1231 :END:
1232
1233 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1234 instead.
1235
1236 #+begin_src emacs-lisp :tangle no
1237 ;;; hs-lint.el --- minor mode for HLint code checking
1238
1239 ;; Copyright 2009 (C) Alex Ott
1240 ;;
1241 ;; Author: Alex Ott <alexott@gmail.com>
1242 ;; Keywords: haskell, lint, HLint
1243 ;; Requirements:
1244 ;; Status: distributed under terms of GPL2 or above
1245
1246 ;; Typical message from HLint looks like:
1247 ;;
1248 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1249 ;; Found:
1250 ;;   count1 p l = length (filter p l)
1251 ;; Why not:
1252 ;;   count1 p = length . filter p
1253
1254
1255 (require 'compile)
1256
1257 (defgroup hs-lint nil
1258   "Run HLint as inferior of Emacs, parse error messages."
1259   :group 'tools
1260   :group 'haskell)
1261
1262 (defcustom hs-lint-command "hlint"
1263   "The default hs-lint command for \\[hlint]."
1264   :type 'string
1265   :group 'hs-lint)
1266
1267 (defcustom hs-lint-save-files t
1268   "Save modified files when run HLint or no (ask user)"
1269   :type 'boolean
1270   :group 'hs-lint)
1271
1272 (defcustom hs-lint-replace-with-suggestions nil
1273   "Replace user's code with suggested replacements"
1274   :type 'boolean
1275   :group 'hs-lint)
1276
1277 (defcustom hs-lint-replace-without-ask nil
1278   "Replace user's code with suggested replacements automatically"
1279   :type 'boolean
1280   :group 'hs-lint)
1281
1282 (defun hs-lint-process-setup ()
1283   "Setup compilation variables and buffer for `hlint'."
1284   (run-hooks 'hs-lint-setup-hook))
1285
1286 ;; regex for replace suggestions
1287 ;;
1288 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1289 ;; Found:
1290 ;; \s +\(.*\)
1291 ;; Why not:
1292 ;; \s +\(.*\)
1293
1294 (defvar hs-lint-regex
1295   "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1296   "Regex for HLint messages")
1297
1298 (defun make-short-string (str maxlen)
1299   (if (< (length str) maxlen)
1300       str
1301     (concat (substring str 0 (- maxlen 3)) "...")))
1302
1303 (defun hs-lint-replace-suggestions ()
1304   "Perform actual replacement of suggestions"
1305   (goto-char (point-min))
1306   (while (re-search-forward hs-lint-regex nil t)
1307     (let* ((fname (match-string 1))
1308           (fline (string-to-number (match-string 2)))
1309           (old-code (match-string 4))
1310           (new-code (match-string 5))
1311           (msg (concat "Replace '" (make-short-string old-code 30)
1312                        "' with '" (make-short-string new-code 30) "'"))
1313           (bline 0)
1314           (eline 0)
1315           (spos 0)
1316           (new-old-code ""))
1317       (save-excursion
1318         (switch-to-buffer (get-file-buffer fname))
1319         (goto-char (point-min))
1320         (forward-line (1- fline))
1321         (beginning-of-line)
1322         (setf bline (point))
1323         (when (or hs-lint-replace-without-ask
1324                   (yes-or-no-p msg))
1325           (end-of-line)
1326           (setf eline (point))
1327           (beginning-of-line)
1328           (setf old-code (regexp-quote old-code))
1329           (while (string-match "\\\\ " old-code spos)
1330             (setf new-old-code (concat new-old-code
1331                                  (substring old-code spos (match-beginning 0))
1332                                  "\\ *"))
1333             (setf spos (match-end 0)))
1334           (setf new-old-code (concat new-old-code (substring old-code spos)))
1335           (remove-text-properties bline eline '(composition nil))
1336           (when (re-search-forward new-old-code eline t)
1337             (replace-match new-code nil t)))))))
1338
1339 (defun hs-lint-finish-hook (buf msg)
1340   "Function, that is executed at the end of HLint execution"
1341   (if hs-lint-replace-with-suggestions
1342       (hs-lint-replace-suggestions)
1343       (next-error 1 t)))
1344
1345 (define-compilation-mode hs-lint-mode "HLint"
1346   "Mode for check Haskell source code."
1347   (set (make-local-variable 'compilation-process-setup-function)
1348        'hs-lint-process-setup)
1349   (set (make-local-variable 'compilation-disable-input) t)
1350   (set (make-local-variable 'compilation-scroll-output) nil)
1351   (set (make-local-variable 'compilation-finish-functions)
1352        (list 'hs-lint-finish-hook))
1353   )
1354
1355 (defun hs-lint ()
1356   "Run HLint for current buffer with haskell source"
1357   (interactive)
1358   (save-some-buffers hs-lint-save-files)
1359   (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1360                      'hs-lint-mode))
1361
1362 (provide 'hs-lint)
1363 ;;; hs-lint.el ends here
1364 #+end_src
1365
1366 #+begin_src emacs-lisp :tangle no
1367 (use-package hs-lint
1368   :load-path "lisp/"
1369   :bind (:map haskell-mode-map
1370               ("C-c l l" . hs-lint)))
1371 #+end_src
1372
1373 ** Web dev
1374
1375 *** SGML and HTML
1376
1377 #+begin_src emacs-lisp
1378 (use-package sgml-mode
1379   :defer t
1380   :config
1381   (setq sgml-basic-offset 2))
1382 #+end_src
1383
1384 *** CSS and SCSS
1385
1386 #+begin_src emacs-lisp
1387 (use-package css-mode
1388   :defer t
1389   :config
1390   (setq css-indent-offset 2))
1391 #+end_src
1392
1393 *** Web mode
1394
1395 #+begin_src emacs-lisp
1396 (use-package web-mode
1397   :defer t
1398   :mode "\\.html\\'"
1399   :config
1400   (setq-every! 2
1401     web-mode-code-indent-offset
1402     web-mode-css-indent-offset
1403     web-mode-markup-indent-offset))
1404 #+end_src
1405
1406 *** Emmet mode
1407
1408 #+begin_src emacs-lisp
1409 (use-package emmet-mode
1410   :after (:any web-mode css-mode sgml-mode)
1411   :bind* (("C-)" . emmet-next-edit-point)
1412           ("C-(" . emmet-prev-edit-point))
1413   :config
1414   (unbind-key "C-j" emmet-mode-keymap)
1415   (setq emmet-move-cursor-between-quotes t)
1416   :hook (web-mode css-mode html-mode sgml-mode))
1417 #+end_src
1418
1419 ** Nix
1420
1421 #+begin_src emacs-lisp
1422 (use-package nix-mode
1423   :defer t
1424   :mode "\\.nix\\'")
1425 #+end_src
1426
1427 ** Java
1428
1429 *** meghanada
1430
1431 #+begin_src emacs-lisp :tangle no
1432 (use-package meghanada
1433   :bind
1434   (:map meghanada-mode-map
1435         (("C-M-o" . meghanada-optimize-import)
1436          ("C-M-t" . meghanada-import-all)))
1437   :hook (java-mode . meghanada-mode))
1438 #+end_src
1439
1440 *** lsp-java
1441
1442 #+begin_comment
1443 dependencies:
1444
1445 ace-window
1446 avy
1447 bui
1448 company-lsp
1449 dap-mode
1450 lsp-java
1451 lsp-mode
1452 lsp-ui
1453 pfuture
1454 tree-mode
1455 treemacs
1456 #+end_comment
1457
1458 #+begin_src emacs-lisp :tangle no
1459 (use-package treemacs
1460   :config (setq treemacs-never-persist t))
1461
1462 (use-package yasnippet
1463   :config
1464   ;; (yas-global-mode)
1465   )
1466
1467 (use-package lsp-mode
1468   :init (setq lsp-eldoc-render-all nil
1469               lsp-highlight-symbol-at-point nil)
1470   )
1471
1472 (use-package hydra)
1473
1474 (use-package company-lsp
1475   :after  company
1476   :config
1477   (setq company-lsp-cache-candidates t
1478         company-lsp-async t))
1479
1480 (use-package lsp-ui
1481   :config
1482   (setq lsp-ui-sideline-update-mode 'point))
1483
1484 (use-package lsp-java
1485   :config
1486   (add-hook 'java-mode-hook
1487             (lambda ()
1488               (setq-local company-backends (list 'company-lsp))))
1489
1490   (add-hook 'java-mode-hook 'lsp-java-enable)
1491   (add-hook 'java-mode-hook 'flycheck-mode)
1492   (add-hook 'java-mode-hook 'company-mode)
1493   (add-hook 'java-mode-hook 'lsp-ui-mode))
1494
1495 (use-package dap-mode
1496   :after lsp-mode
1497   :config
1498   (dap-mode t)
1499   (dap-ui-mode t))
1500
1501 (use-package dap-java
1502   :after (lsp-java))
1503
1504 (use-package lsp-java-treemacs
1505   :after (treemacs))
1506 #+end_src
1507
1508 * Emacs Enhancements
1509
1510 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1511
1512 #+begin_quote
1513 Emacs package that displays available keybindings in popup
1514 #+end_quote
1515
1516 #+begin_src emacs-lisp
1517 (use-package which-key
1518   :defer 1
1519   :config (which-key-mode))
1520 #+end_src
1521
1522 ** [[https://github.com/Malabarba/smart-mode-line][smart-mode-line]]
1523
1524 #+begin_src emacs-lisp
1525 (use-package smart-mode-line
1526   :config
1527   (sml/setup)
1528   ;; (sml/apply-theme 'light)
1529   (remove-hook 'display-time-hook 'sml/propertize-time-string))
1530 #+end_src
1531
1532 ** [[https://github.com/bbatsov/crux][crux]]
1533
1534 #+begin_src emacs-lisp
1535 (use-package crux
1536   :defer 1
1537   :bind (("C-c d"   . crux-duplicate-current-line-or-region)
1538          ("C-c M-d" . crux-duplicate-and-comment-current-line-or-region)
1539          ("C-c b K" . crux-kill-other-buffers)
1540          ("C-c f C" . crux-copy-file-preserve-attributes)
1541          ("C-c f D" . crux-delete-file-and-buffer)
1542          ("C-c f R" . crux-rename-file-and-buffer)
1543          ("C-S-j"   . crux-top-join-line)
1544          ("C-c j"   . crux-top-join-line)))
1545 #+end_src
1546
1547 ** [[https://github.com/alezost/mwim.el][mwim]]
1548
1549 #+begin_src emacs-lisp
1550 (use-package mwim
1551   :bind (("C-a"    . mwim-beginning-of-code-or-line)
1552          ("C-e"    . mwim-end-of-code-or-line)
1553          ("<home>" . mwim-beginning-of-line-or-code)
1554          ("<end>"  . mwim-end-of-line-or-code)))
1555 #+end_src
1556
1557 ** projectile
1558
1559 #+begin_src emacs-lisp
1560 (use-package projectile
1561   :defer 2
1562   :bind-keymap ("C-c p" . projectile-command-map)
1563   :config
1564   (projectile-mode)
1565
1566   (defun my-projectile-invalidate-cache (&rest _args)
1567     ;; ignore the args to `magit-checkout'
1568     (projectile-invalidate-cache nil))
1569
1570   (eval-after-load 'magit-branch
1571     '(progn
1572        (advice-add 'magit-checkout
1573                    :after #'my-projectile-invalidate-cache)
1574        (advice-add 'magit-branch-and-checkout
1575                    :after #'my-projectile-invalidate-cache))))
1576 #+end_src
1577
1578 ** [[https://github.com/Wilfred/helpful][helpful]]
1579
1580 #+begin_src emacs-lisp
1581 (use-package helpful
1582   :defer 1
1583   :bind
1584   (;; ("C-h F"   . helpful-function)
1585    ("C-h f"   . helpful-callable)
1586    ("C-h v"   . helpful-variable)
1587    ("C-h k"   . helpful-key)
1588    ("C-c C-d" . helpful-at-point)
1589    ("C-h C"   . helpful-command)
1590    ("C-h c"   . describe-char)
1591    ("C-h F"   . describe-face)))
1592
1593 (use-package help
1594   :bind
1595   (("C-S-h f" . describe-function)
1596    ("C-S-h v" . describe-variable)
1597    ("C-S-h k" . describe-key)
1598    ("C-S-h C" . describe-coding-system)
1599    ("C-S-h c" . describe-key-briefly))
1600   :config (setq help-window-select t))
1601 #+end_src
1602
1603 ** [[https://github.com/kyagi/shell-pop-el][shell-pop]]
1604
1605 #+begin_src emacs-lisp
1606 (use-package shell-pop
1607   :defer 1
1608   :init
1609   (setq shell-pop-universal-key "C-c e"
1610         shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
1611 #+end_src
1612
1613 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1614
1615 Make =*scratch*= and =*Messages*= unkillable.
1616
1617 #+begin_src emacs-lisp
1618 (use-package unkillable-scratch
1619   :defer 3
1620   :config
1621   (unkillable-scratch 1)
1622   :custom
1623   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1624 #+end_src
1625
1626 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1627
1628 #+begin_example
1629 ,----
1630 | make pretty boxed quotes like this
1631 `----
1632 #+end_example
1633
1634 #+begin_src emacs-lisp
1635 (use-package boxquote
1636   :defer 3
1637   :bind
1638   (:prefix-map amin--boxquote-prefix-map
1639    :prefix "C-c q"
1640    ("b"   . boxquote-buffer)
1641    ("B"   . boxquote-insert-buffer)
1642    ("d"   . boxquote-defun)
1643    ("F"   . boxquote-insert-file)
1644    ("hf"  . boxquote-describe-function)
1645    ("hk"  . boxquote-describe-key)
1646    ("hv"  . boxquote-describe-variable)
1647    ("hw"  . boxquote-where-is)
1648    ("k"   . boxquote-kill)
1649    ("p"   . boxquote-paragraph)
1650    ("q"   . boxquote-boxquote)
1651    ("r"   . boxquote-region)
1652    ("s"   . boxquote-shell-command)
1653    ("t"   . boxquote-text)
1654    ("T"   . boxquote-title)
1655    ("u"   . boxquote-unbox)
1656    ("U"   . boxquote-unbox-region)
1657    ("y"   . boxquote-yank)
1658    ("M-q" . boxquote-fill-paragraph)
1659    ("M-w" . boxquote-kill-ring-save)))
1660 #+end_src
1661
1662 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1663
1664 ** COMMENT [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]                                 :ARCHIVE:
1665
1666 #+begin_src emacs-lisp
1667 (use-package highlight-indent-guides
1668   :defer 3
1669   :hook ((prog-mode . highlight-indent-guides-mode)
1670          ;; (org-mode  . highlight-indent-guides-mode)
1671          )
1672   :config
1673   (setq highlight-indent-guides-character ?\|)
1674   (setq highlight-indent-guides-auto-enabled nil)
1675   (setq highlight-indent-guides-method 'character)
1676   (setq highlight-indent-guides-responsive 'top)
1677   (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1678   (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1679 #+end_src
1680
1681 ** pdf-tools
1682
1683 #+begin_src emacs-lisp
1684 (use-package pdf-tools
1685   :defer t
1686   :magic ("%PDF" . pdf-view-mode)
1687   :config
1688   (setq pdf-view-resize-factor 1.05)
1689   (pdf-tools-install)
1690   :bind
1691   (:map pdf-view-mode-map
1692         ("C-s" . isearch-forward)
1693         ("C-r" . isearch-backward)
1694         ("j"   . pdf-view-next-line-or-next-page)
1695         ("k"   . pdf-view-previous-line-or-previous-page)
1696         ("h"   . image-backward-hscroll)
1697         ("l"   . image-forward-hscroll)))
1698 #+end_src
1699
1700 ** anzu
1701
1702 #+begin_src emacs-lisp
1703 (use-package anzu)
1704 #+end_src
1705
1706 ** typo.el
1707
1708 #+begin_src emacs-lisp
1709 (use-package typo
1710   :defer 2
1711   :config
1712   (typo-global-mode 1)
1713   :hook (text-mode . typo-mode))
1714 #+end_src
1715
1716 ** slack
1717
1718 Hopefully temporary.
1719
1720 #+begin_src emacs-lisp
1721 (use-package slack
1722   :commands (slack-start)
1723   :init
1724   (eval-when-compile                    ; silence the byte-compiler
1725     (defvar url-http-data nil)
1726     (defvar url-http-extra-headers nil)
1727     (defvar url-http-method nil)
1728     (defvar url-callback-function nil)
1729     (defvar url-callback-arguments nil)
1730     (defvar oauth--token-data nil))
1731   (setq slack-buffer-emojify t
1732         slack-prefer-current-team t)
1733   :config
1734   (slack-register-team
1735    :name "uw-apv"
1736    :default t
1737    :client-id uw-apv-client-id
1738    :client-secret uw-apv-client-secret
1739    :token uw-apv-token
1740    :subscribed-channels '(general)
1741    :full-and-display-names t)
1742   (slack-register-team
1743    :name "watform"
1744    :default nil
1745    :client-id watform-client-id
1746    :client-secret watform-client-secret
1747    :token watform-token
1748    :subscribed-channels '(general)
1749    :full-and-display-names t)
1750   (add-to-list 'swiper-font-lock-exclude 'slack-message-buffer-mode t)
1751   :bind
1752   (("C-c s s" . slack-start)
1753    ("C-c s u" . slack-select-unread-rooms)
1754    ("C-c s b" . slack-select-rooms)
1755    ("C-c s t" . slack-change-current-team)
1756    ("C-c s c" . slack-ws-close)
1757    :map slack-mode-map
1758    ("M-p"     . slack-buffer-goto-prev-message)
1759    ("M-n"     . slack-buffer-goto-next-message)
1760    ("C-c e"   . slack-message-edit)
1761    ("C-c k"   . slack-message-delete)
1762    ("C-c C-k" . slack-channel-leave)
1763    ("C-c r a" . slack-message-add-reaction)
1764    ("C-c r r" . slack-message-remove-reaction)
1765    ("C-c r s" . slack-message-show-reaction-users)
1766    ("C-c p l" . slack-room-pins-list)
1767    ("C-c p a" . slack-message-pins-add)
1768    ("C-c p r" . slack-message-pins-remove)
1769    ("@"       . slack-message-embed-mention)
1770    ("#"       . slack-message-embed-channel)))
1771
1772 (use-package alert
1773   :commands (alert)
1774   :init
1775   (setq alert-default-style 'notifier))
1776 #+end_src
1777
1778 ** hl-todo
1779
1780 #+begin_src emacs-lisp
1781 (use-package hl-todo
1782   :defer 4
1783   :config
1784   (global-hl-todo-mode))
1785 #+end_src
1786
1787 ** shrink-path
1788
1789 #+begin_src emacs-lisp
1790 (use-package shrink-path
1791   :after eshell
1792   :config
1793   (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
1794         eshell-prompt-function #'+eshell/prompt)
1795
1796   (defun +eshell/prompt ()
1797     (let ((base/dir (shrink-path-prompt default-directory)))
1798       (concat (propertize (car base/dir)
1799                           'face 'font-lock-comment-face)
1800               (propertize (cdr base/dir)
1801                           'face 'font-lock-constant-face)
1802               (propertize (+eshell--current-git-branch)
1803                           'face 'font-lock-function-name-face)
1804               "\n"
1805               (propertize "λ" 'face 'eshell-prompt-face)
1806               ;; needed for the input text to not have prompt face
1807               (propertize " " 'face 'default))))
1808
1809   (defun +eshell--current-git-branch ()
1810     (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
1811                              when (string-match "^\*" match)
1812                              collect match))))
1813       (if (not (eq branch nil))
1814           (concat " " (substring branch 2))
1815         ""))))
1816 #+end_src
1817
1818 ** magithub
1819
1820 For when I /have to/ use GH.
1821
1822 #+begin_src emacs-lisp
1823 (use-package magithub
1824   :after magit
1825   :config
1826   (magithub-feature-autoinject t)
1827   (setq magithub-clone-default-directory "~/src/git"))
1828 #+end_src
1829
1830 * Email
1831
1832 #+begin_src emacs-lisp
1833 (defvar amin-maildir (expand-file-name "~/mail/"))
1834 (after! recentf
1835   (add-to-list 'recentf-exclude amin-maildir))
1836 #+end_src
1837
1838 ** Gnus
1839
1840 #+begin_src emacs-lisp
1841 (setq
1842  amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
1843  mail-user-agent     'gnus-user-agent
1844  read-mail-command   'gnus)
1845
1846 (use-package gnus
1847   :bind (("s-m" . gnus)
1848          ("s-M" . gnus-unplugged))
1849   :init
1850   (setq
1851    gnus-select-method '(nnnil "")
1852    gnus-secondary-select-methods
1853    '((nnimap "amin"
1854             (nnimap-stream plain)
1855             (nnimap-address "127.0.0.1")
1856             (nnimap-server-port 143)
1857             (nnimap-authenticator plain)
1858             (nnimap-user "amin@aminb.org"))
1859      (nnimap "uwaterloo"
1860              (nnimap-stream plain)
1861              (nnimap-address "127.0.0.1")
1862              (nnimap-server-port 143)
1863              (nnimap-authenticator plain)
1864              (nnimap-user "abandali@uwaterloo.ca")))
1865    gnus-message-archive-group "nnimap:Sent"
1866    gnus-parameters
1867    '(("gnu.*"
1868       (gcc-self . t)))
1869    gnus-large-newsgroup  50
1870    gnus-home-directory   (no-littering-expand-var-file-name "gnus/")
1871    gnus-directory        (concat gnus-home-directory "news/")
1872    message-directory     (concat gnus-home-directory "mail/")
1873    nndraft-directory     (concat gnus-home-directory "drafts/")
1874    gnus-save-newsrc-file nil
1875    gnus-read-newsrc-file nil
1876    gnus-interactive-exit nil
1877    gnus-gcc-mark-as-read t))
1878
1879 (use-package gnus-art
1880   :config
1881   (setq
1882    gnus-visible-headers
1883    (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
1884    gnus-sorted-header-list
1885    '("^From:" "^Subject:" "^Summary:" "^Keywords:"
1886      "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
1887      "^Newsgroups:" "List-Id:" "^Organization:"
1888      "^User-Agent:" "^Date:")
1889   ;; local-lapsed article dates
1890   ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
1891   gnus-article-date-headers '(user-defined)
1892   gnus-article-time-format
1893   (lambda (time)
1894     (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
1895            (local (article-make-date-line date 'local))
1896            (combined-lapsed (article-make-date-line date
1897                                                     'combined-lapsed))
1898            (lapsed (progn
1899                      (string-match " (.+" combined-lapsed)
1900                      (match-string 0 combined-lapsed))))
1901       (concat local lapsed))))
1902   (bind-keys
1903    :map gnus-article-mode-map
1904    ("r"   . gnus-article-reply-with-original)
1905    ("R"   . gnus-article-wide-reply-with-original)
1906    ("M-L" . org-store-link)))
1907
1908 (use-package gnus-sum
1909   :bind (:map gnus-summary-mode-map
1910               :prefix-map amin--gnus-summary-prefix-map
1911               :prefix "v"
1912               ("r" . gnus-summary-reply)
1913               ("w" . gnus-summary-wide-reply)
1914               ("v" . gnus-summary-show-raw-article))
1915   :config
1916   (bind-keys
1917    :map gnus-summary-mode-map
1918    ("r"   . gnus-summary-reply-with-original)
1919    ("R"   . gnus-summary-wide-reply-with-original)
1920    ("M-L" . org-store-link)))
1921
1922 (use-package gnus-msg
1923   :config
1924   (setq gnus-posting-styles
1925         '((".*"
1926            (address "amin@aminb.org")
1927            (body "\nBest,\namin\n"))
1928           ("gnu.*"
1929            (address "bandali@gnu.org"))
1930           ("nnimap\\+uwaterloo:.*"
1931            (address "abandali@uwaterloo.ca")
1932            (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
1933
1934 (use-package gnus-topic
1935   :hook (gnus-group-mode . gnus-topic-mode))
1936
1937 (use-package gnus-agent
1938   :config
1939   (setq gnus-agent-synchronize-flags 'ask)
1940   :hook (gnus-group-mode . gnus-agent-mode))
1941
1942 (use-package gnus-group
1943   :config
1944   (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
1945
1946 (use-package mm-decode
1947   :config
1948   (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
1949 #+end_src
1950
1951 ** sendmail
1952
1953 #+begin_src emacs-lisp
1954 (use-package sendmail
1955   :config
1956   (setq sendmail-program "/usr/bin/msmtp"
1957         ;; message-sendmail-extra-arguments '("-v" "-d")
1958         mail-specify-envelope-from t
1959         mail-envelope-from 'header))
1960 #+end_src
1961
1962 ** message
1963
1964 #+begin_src emacs-lisp
1965 (use-package message
1966   :config
1967   (setq message-kill-buffer-on-exit t
1968         message-send-mail-function 'message-send-mail-with-sendmail
1969         message-sendmail-envelope-from 'header
1970         message-dont-reply-to-names
1971         "\\(\\(.*@aminb\\.org\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
1972         message-user-fqdn "aminb.org")
1973   :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
1974          (message-mode . flyspell-mode)
1975          (message-mode . (lambda () (setq fill-column 65
1976                                      message-fill-column 65))))
1977   :custom-face
1978   (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
1979   (message-header-to      ((t (:foreground "#111" :weight normal))))
1980   (message-header-cc      ((t (:foreground "#333" :weight normal)))))
1981
1982 (after! mml-sec
1983   (setq mml-secure-openpgp-encrypt-to-self t
1984         mml-secure-openpgp-sign-with-sender t))
1985 #+end_src
1986
1987 ** footnote
1988
1989 Convenient footnotes in =message-mode=.
1990
1991 #+begin_src emacs-lisp
1992 (use-package footnote
1993   :after message
1994   :bind
1995   (:map message-mode-map
1996         :prefix-map amin--footnote-prefix-map
1997         :prefix "C-c f"
1998         ("a" . footnote-add-footnote)
1999         ("b" . footnote-back-to-message)
2000         ("c" . footnote-cycle-style)
2001         ("d" . footnote-delete-footnote)
2002         ("g" . footnote-goto-footnote)
2003         ("r" . footnote-renumber-footnotes)
2004         ("s" . footnote-set-style))
2005   :config
2006   (setq footnote-start-tag ""
2007         footnote-end-tag   ""
2008         footnote-style     'unicode))
2009 #+end_src
2010
2011 ** supercite
2012
2013 #+begin_src emacs-lisp
2014 (use-package supercite
2015   :after message
2016   :init
2017   (setq sc-nested-citation-p t
2018         ;; sc-cite-blank-lines-p t
2019         sc-citation-leader ""
2020         sc-reference-tag-string ""
2021         sc-auto-fill-region-p nil
2022         sc-confirm-always-p nil)
2023   :config
2024   (defun amin--sc-header ()
2025     "Hi <firstname>,\n\n <from> writes:"
2026     (let ((sc-mumble "")
2027               (whofrom (sc-whofrom)))
2028       (if whofrom
2029               (insert (sc-hdr "Hi " (sc-mail-field "sc-firstname") ",\n\n")
2030                   sc-reference-tag-string
2031                           whofrom
2032                           " writes:\n"))))
2033   (add-to-list 'sc-rewrite-header-list '(amin--sc-header) t)
2034   (setq sc-preferred-header-style (1- (length sc-rewrite-header-list)))
2035   (add-hook 'mail-citation-hook 'sc-cite-original))
2036 #+end_src
2037
2038 ** ebdb
2039
2040 #+begin_src emacs-lisp
2041 (use-package ebdb
2042   :defer 1
2043   :bind (:map gnus-group-mode-map ("e" . ebdb))
2044   :config
2045   (setq ebdb-sources (no-littering-expand-var-file-name "ebdb")))
2046
2047 (use-package ebdb-com
2048   :after ebdb)
2049
2050 (use-package ebdb-complete
2051   :after ebdb
2052   :config
2053   (ebdb-complete-enable))
2054
2055 (use-package ebdb-gnus
2056   :after ebdb)
2057
2058 (use-package ebdb-message
2059   :after ebdb)
2060
2061 ;; (use-package ebdb-vcard
2062 ;;   :after ebdb)
2063 #+end_src
2064
2065 ** COMMENT bbdb
2066
2067 #+begin_comment
2068 [submodule "bbdb"]
2069         path = lib/bbdb
2070         url = https://git.savannah.nongnu.org/git/bbdb.git
2071         load-path = lisp/elisp
2072         info-path = doc
2073         build-step = ./autogen.sh
2074         build-step = ./configure --with-lispdir=elisp
2075         build-step = make
2076         build-step = make install
2077 #+end_comment
2078
2079 #+begin_src emacs-lisp
2080 (use-package bbdb
2081   :init
2082   (bbdb-mua-auto-update-init 'message)
2083   (setq bbdb-mua-auto-update-p 'query)
2084   (add-hook 'gnus-startup-hook 'bbdb-insinuate-gnus))
2085 #+end_src
2086
2087 ** COMMENT message-x
2088
2089 #+begin_src emacs-lisp
2090 (use-package message-x
2091   :custom
2092   (message-x-completion-alist
2093    (quote
2094     (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
2095      ((if
2096           (boundp
2097            (quote message-newgroups-header-regexp))
2098           message-newgroups-header-regexp message-newsgroups-header-regexp)
2099       . message-expand-group)))))
2100 #+end_src
2101
2102 ** COMMENT gnus-harvest
2103
2104 #+begin_src emacs-lisp
2105 (use-package gnus-harvest
2106   :commands gnus-harvest-install
2107   :demand t
2108   :config
2109   (if (featurep 'message-x)
2110       (gnus-harvest-install 'message-x)
2111     (gnus-harvest-install)))
2112 #+end_src
2113
2114 ** COMMENT gnus-alias                                              :ARCHIVE:
2115
2116 #+begin_src emacs-lisp
2117 (use-package gnus-alias
2118   :commands (gnus-alias-determine-identity
2119              gnus-alias-select-identity)
2120   :bind (:map  message-mode-map
2121                ("s-i" . gnus-alias-select-identity))
2122   :config
2123   (setq
2124    gnus-alias-default-identity "amin"
2125    gnus-alias-identity-alist
2126    '(("amin"
2127       nil   ;; Does not refer to any other identity
2128       "Amin Bandali <amin@aminb.org>"
2129       nil   ;; Organization
2130       nil   ;; extra headers
2131       nil   ;; extra body text
2132       nil)  ;; signature file
2133      ("gnu"
2134       nil
2135       "Amin Bandali <bandali@gnu.org>"
2136       nil
2137       nil
2138       nil
2139       nil)
2140      ("uw"
2141       nil
2142       "Amin Bandali <abandali@uwaterloo.ca>"
2143       nil
2144       (("Gcc" . "\"nnimap+uwaterloo:Sent Items\""))
2145       nil
2146       nil))
2147    gnus-alias-identity-rules
2148    '(("amin" ("Delivered-To" "<amin\\@aminb\\.org" both) "amin")
2149      ("gnu" ("Delivered-To" "<gnu\\@aminb\\.org" both) "gnu")
2150      ("uw" ("any" "<\\(.+\\)\\@uwaterloo\\.ca" both) "uw"))
2151    gnus-alias-override-user-mail-address t)
2152   :hook (message-setup . gnus-alias-determine-identity))
2153 #+end_src
2154
2155 ** COMMENT [[https://notmuchmail.org][notmuch]]                                                 :ARCHIVE:
2156
2157 See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
2158
2159 #+begin_src emacs-lisp
2160 (defun amin/notmuch ()
2161   "Delete other windows, then launch `notmuch'."
2162   (interactive
2163    (when (equal current-prefix-arg nil)
2164      (delete-other-windows)))
2165   (notmuch))
2166
2167 (use-package notmuch
2168   :commands notmuch
2169   :bind ("C-c n" . amin/notmuch)
2170   :custom (notmuch-always-prompt-for-sender t)
2171   :config
2172   (setq notmuch-hello-sections
2173         '(notmuch-hello-insert-header
2174           notmuch-hello-insert-saved-searches
2175           ;; notmuch-hello-insert-search
2176           notmuch-hello-insert-alltags)
2177         notmuch-search-oldest-first nil
2178         notmuch-show-all-tags-list t
2179         notmuch-message-headers  ; see bug follow-up above
2180         '("Subject" "To" "Cc" "Date" "List-Id" "X-RT-Originator")
2181         notmuch-hello-thousands-separator ","
2182         notmuch-fcc-dirs
2183         '(("amin@aminb.org"        . "amin/Sent")
2184           ("bandali@gnu.org"       . "gnu/Sent")
2185           ("abandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
2186           ("mab@gnu.org"           . "gnu/Sent")
2187           ("amin@gnu.org"          . "gnu/Sent")
2188           ("aminb@gnu.org"         . "gnu/Sent")
2189           (".*"                    . "sent"))
2190         notmuch-search-result-format
2191         '(("date"    . "%12s ")
2192           ("count"   . "%-7s ")
2193           ("authors" . "%-40s ")
2194           ("subject" . "%s ")
2195           ("tags"    . "(%s)"))
2196         notmuch-saved-searches
2197         '((:name "inbox"     :query "tag:inbox"     :key "i")
2198           (:name "unread"    :query "tag:unread"    :key "u")
2199           (:name "latest"    :query "tag:latest"    :key "l")
2200           (:name "encrypted" :query "tag:encrypted" :key "e")
2201           (:name "flagged"   :query "tag:flagged"   :key "f")
2202           (:name "sent"      :query "tag:sent"      :key "s")
2203           (:name "drafts"    :query "tag:draft"     :key "d")
2204           (:name "all mail"  :query "*"             :key "a")))
2205   ;; (add-hook 'visual-fill-column-mode-hook
2206   ;;           (lambda ()
2207   ;;             (when (string= major-mode 'notmuch-message-mode)
2208   ;;               (setq visual-fill-column-width 70))))
2209   ;; (set! :evil-state 'notmuch-message-mode 'insert)
2210   ;; (advice-add #'notmuch-bury-or-kill-this-buffer
2211   ;;             :override #'kill-this-buffer)
2212   :hook (notmuch-message-mode . doom-modeline-set-special-modeline)
2213   :bind
2214   (:map notmuch-hello-mode-map
2215         ("u" . (lambda ()
2216                  "Search for `unread'-tagged messages"
2217                  (interactive)
2218                  (notmuch-hello-search "tag:unread")))
2219         ("i" . (lambda ()
2220                  "Search for `inbox'-tagged messages"
2221                  (interactive)
2222                  (notmuch-hello-search "tag:inbox")))
2223         ("l" . (lambda ()
2224                  "Search for `latest'-tagged messages"
2225                  (interactive)
2226                  (notmuch-hello-search "tag:latest")))
2227         ("e" . (lambda ()
2228                  "Search for `encrypted'-tagged messages"
2229                  (interactive)
2230                  (notmuch-hello-search "tag:encrypted"))))
2231   (:map notmuch-search-mode-map
2232         ("k" . (lambda ()
2233                  "Mark message read"
2234                  (interactive)
2235                  (notmuch-search-tag '("-unread"))
2236                  ;; (notmuch-search-archive-thread)
2237                  (notmuch-search-next-thread)))
2238         ("u" . (lambda ()
2239                  "Mark message unread"
2240                  (interactive)
2241                  (notmuch-search-tag '("+unread"))
2242                  (notmuch-search-next-thread)))
2243         ("K" . (lambda ()
2244                  "Mark message deleted"
2245                  (interactive)
2246                  (notmuch-search-tag '("-unread" "-inbox" "+deleted"))
2247                  (notmuch-search-next-thread)))
2248         ("S" . (lambda ()
2249                  "Mark message as spam"
2250                  (interactive)
2251                  (notmuch-search-tag '("-unread" "-inbox" "-webmasters" "+spam"))
2252                  (notmuch-search-next-thread))))
2253   (:map notmuch-tree-mode-map
2254         ("k" . (lambda ()
2255                  "Mark message read"
2256                  (interactive)
2257                  (notmuch-tree-tag '("-unread"))
2258                  ;; (notmuch-tree-archive-thread)
2259                  (notmuch-tree-next-message)))
2260         ("u" . (lambda ()
2261                  "Mark message unread"
2262                  (interactive)
2263                  (notmuch-tree-tag '("+unread"))
2264                  (notmuch-tree-next-message)))
2265         ("K" . (lambda ()
2266                  "Mark message deleted"
2267                  (interactive)
2268                  (notmuch-tree-tag '("-unread" "-inbox" "+deleted"))
2269                  (notmuch-tree-next-message)))
2270         ("S" . (lambda ()
2271                  "Mark message as spam"
2272                  (interactive)
2273                  (notmuch-tree-tag '("-unread" "-inbox" "-webmasters" "+spam"))
2274                  (notmuch-tree-next-message))))
2275   :custom-face
2276   (notmuch-search-unread-face ((t (:weight semi-bold))))
2277   (notmuch-tag-face ((t (:foreground "navy blue" :weight semi-bold)))))
2278
2279 (use-package counsel-notmuch
2280   :bind ("C-c s m" . counsel-notmuch))
2281
2282 (after! notmuch-crypto
2283   (setq notmuch-crypto-process-mime t))
2284
2285 (use-package org-notmuch
2286   :after (:any org notmuch))
2287 #+end_src
2288
2289 * Blogging
2290 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2291
2292 #+begin_src emacs-lisp
2293 (use-package ox-hugo
2294   :after ox)
2295
2296 (use-package ox-hugo-auto-export
2297   :load-path "lib/ox-hugo")
2298 #+end_src
2299
2300 * Post initialization
2301 :PROPERTIES:
2302 :CUSTOM_ID: post-initialization
2303 :END:
2304
2305 Display how long it took to load the init file.
2306
2307 #+begin_src emacs-lisp
2308 (message "Loading %s...done (%.3fs)" user-init-file
2309          (float-time (time-subtract (current-time)
2310                                     amin--before-user-init-time)))
2311 #+end_src
2312
2313 * Footer
2314 :PROPERTIES:
2315 :CUSTOM_ID: footer
2316 :END:
2317
2318 #+begin_src emacs-lisp :comments none
2319 ;;; init.el ends here
2320 #+end_src
2321
2322 * COMMENT Local Variables                                           :ARCHIVE:
2323 # Local Variables:
2324 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
2325 # End: