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