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-log-done 'time)
 708   :hook ((org-mode . org-indent-mode)
 709          (org-mode . auto-fill-mode)
 710          (org-mode . flyspell-mode))
 711   :custom
 712   (org-latex-packages-alist '(("" "listings") ("" "color"))))
 713
 714 (use-package ox-latex
 715   :config
 716   (setq org-latex-listings 'listings
 717         ;; org-latex-prefer-user-labels t
 718         )
 719   (add-to-list 'org-latex-packages-alist '("" "listings"))
 720   (add-to-list 'org-latex-packages-alist '("" "color"))
 721   (add-to-list 'org-latex-classes
 722                '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
 723                  ("\\section{%s}" . "\\section*{%s}")
 724                  ("\\subsection{%s}" . "\\subsection*{%s}")
 725                  ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
 726                  ("\\paragraph{%s}" . "\\paragraph*{%s}")
 727                  ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
 728                t))
 729
 730 (use-package ox-beamer)
 731
 732 (use-package org-notmuch
 733   :after (:any org notmuch))
 734
 735 (use-package orgalist
 736   :hook (message-mode . orgalist-mode))
 737 #+end_src
 738
 739 **** asynchronous tangle
 740
 741 =amin/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
 742 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
 743 file.
 744
 745 #+begin_src emacs-lisp
 746 (after! org
 747   (defvar amin-show-async-tangle-results nil
 748     "Keep *emacs* async buffers around for later inspection.")
 749
 750   (defvar amin-show-async-tangle-time nil
 751     "Show the time spent tangling the file.")
 752
 753   (defvar amin-async-tangle-post-compile "make ti"
 754     "If non-nil, pass to `compile' after successful tangle.")
 755
 756   (defun amin/async-babel-tangle ()
 757     "Tangle org file asynchronously."
 758     (interactive)
 759     (let* ((file-tangle-start-time (current-time))
 760            (file (buffer-file-name))
 761            (file-nodir (file-name-nondirectory file))
 762            (async-quiet-switch "-q"))
 763       (async-start
 764        `(lambda ()
 765           (require 'org)
 766           (org-babel-tangle-file ,file))
 767        (unless amin-show-async-tangle-results
 768          `(lambda (result)
 769             (if result
 770                 (progn
 771                   (message "Tangled %s%s"
 772                            ,file-nodir
 773                            (if amin-show-async-tangle-time
 774                                (format " (%.3fs)"
 775                                        (float-time (time-subtract (current-time)
 776                                                                   ',file-tangle-start-time)))
 777                              ""))
 778                   (when amin-async-tangle-post-compile
 779                     (compile amin-async-tangle-post-compile)))
 780               (message "Tangling %s failed" ,file-nodir))))))))
 781
 782 (add-to-list
 783  'safe-local-variable-values
 784  '(eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))
 785 #+end_src
 786
 787 *** [[https://magit.vc/][Magit]]
 788
 789 #+begin_quote
 790 It's Magit! A Git porcelain inside Emacs.
 791 #+end_quote
 792
 793 Not just how I do git, but /the/ way to do git.
 794
 795 #+begin_src emacs-lisp
 796 (use-package magit
 797   :defer t
 798   :bind
 799   (("s-g" . magit-status)
 800    :prefix-map amin--magit-prefix-map
 801    :prefix "C-c g"
 802    ("SPC" . magit-status)
 803    ("s"   . magit-status)
 804    ("S"   . magit-status-prefix)
 805    ("B"   . magit-blame-addition)
 806    ("C"   . magit-clone)
 807    ("f"   . magit-fetch-other)
 808    ("F"   . magit-pull-branch)
 809    ("P"   . magit-push-other)
 810    ("p"   . magit-dispatch-popup)
 811    ("c c" . magit-commit-create)
 812    ("c a" . magit-commit-amend)
 813    ("b b" . magit-checkout)
 814    ("b c" . magit-branch-create))
 815   :config
 816   (magit-add-section-hook 'magit-status-sections-hook
 817                           'magit-insert-modules
 818                           'magit-insert-stashes
 819                           'append)
 820   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 821 #+end_src
 822
 823 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
 824
 825 #+begin_quote
 826 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
 827 an overview, and more. Oh, man!
 828 #+end_quote
 829
 830 There's no way I could top that, so I won't attempt to.
 831
 832 **** Ivy
 833
 834 #+begin_src emacs-lisp
 835 (use-package ivy
 836   :defer 1
 837   :bind
 838   (("C-c b b" . ivy-switch-buffer)
 839    :map ivy-minibuffer-map
 840    ([escape] . keyboard-escape-quit)
 841    ([S-up]   . ivy-previous-history-element)
 842    ([S-down] . ivy-next-history-element)
 843    ("DEL"    . ivy-backward-delete-char))
 844   :config
 845   (setq ivy-wrap t)
 846   (ivy-mode 1)
 847   :custom-face
 848   (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
 849   (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
 850   (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold)))))
 851 #+end_src
 852
 853 **** Swiper
 854
 855 #+begin_src emacs-lisp
 856 (use-package swiper
 857   :bind (("C-s" . swiper)
 858          ("C-r" . swiper)))
 859 #+end_src
 860
 861 **** Counsel
 862
 863 #+begin_src emacs-lisp
 864 (use-package counsel
 865   :defer 1
 866   :bind (([remap execute-extended-command] . counsel-M-x)
 867          ([remap find-file]                . counsel-find-file)
 868          ("s-r"                            . counsel-recentf)
 869          ("C-c x"                          . counsel-M-x)
 870          ("C-c f ."                        . counsel-find-file)
 871          ("C-c f r"                        . counsel-recentf)
 872          :map minibuffer-local-map
 873          ("C-r" . counsel-minibuffer-history))
 874   :config
 875   (counsel-mode 1)
 876   (defalias 'locate #'counsel-locate))
 877 #+end_src
 878
 879 *** eshell
 880
 881 #+begin_src emacs-lisp
 882 (use-package eshell
 883   :commands eshell
 884   :config
 885   (eval-when-compile (defvar eshell-prompt-regexp))
 886   (defun amin/eshell-quit-or-delete-char (arg)
 887     (interactive "p")
 888     (if (and (eolp) (looking-back eshell-prompt-regexp nil))
 889         (eshell-life-is-too-much)
 890       (delete-char arg)))
 891
 892   (defun amin/eshell-clear ()
 893     (interactive)
 894     (let ((inhibit-read-only t))
 895       (erase-buffer))
 896     (eshell-send-input))
 897
 898   (defun amin|eshell-setup ()
 899     (bind-keys :map eshell-mode-map
 900                ("C-d" . amin/eshell-quit-or-delete-char)
 901                ("C-l" . amin/eshell-clear)))
 902
 903   :hook (eshell-mode . amin|eshell-setup))
 904 #+end_src
 905
 906 *** Ibuffer
 907
 908 #+begin_src emacs-lisp
 909 (use-package ibuffer
 910   :bind
 911   (("C-x C-b" . ibuffer-other-window)
 912    ("C-c b B" . ibuffer-other-window)
 913    :map ibuffer-mode-map
 914    ("P"   . ibuffer-backward-filter-group)
 915    ("N"   . ibuffer-forward-filter-group)
 916    ("M-p" . ibuffer-do-print)
 917    ("M-n" . ibuffer-do-shell-command-pipe-replace))
 918   :config
 919   ;; Use human readable Size column instead of original one
 920   (define-ibuffer-column size-h
 921     (:name "Size" :inline t)
 922     (cond
 923      ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
 924      ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
 925      ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
 926      (t (format "%8d" (buffer-size)))))
 927   :custom
 928   (ibuffer-saved-filter-groups
 929    '(("default"
 930       ("dired" (mode . dired-mode))
 931       ("org"   (mode . org-mode))
 932       ("web"
 933        (or
 934         (mode . web-mode)
 935         (mode . css-mode)
 936         (mode . scss-mode)
 937         (mode . js2-mode)))
 938       ("shell"
 939        (or
 940         (mode . eshell-mode)
 941         (mode . shell-mode)))
 942       ("notmuch" (name . "\*notmuch\*"))
 943       ("programming"
 944        (or
 945         (mode . python-mode)
 946         (mode . c++-mode)
 947         (mode . emacs-lisp-mode)))
 948       ("emacs"
 949        (or
 950         (name . "^\\*scratch\\*$")
 951         (name . "^\\*Messages\\*$")))
 952       ("slack"
 953        (or
 954         (name . "^\\*Slack*"))))))
 955   (ibuffer-formats
 956    '((mark modified read-only locked " "
 957            (name 18 18 :left :elide)
 958            " "
 959            (size-h 9 -1 :right)
 960            " "
 961            (mode 16 16 :left :elide)
 962            " " filename-and-process)
 963      (mark " "
 964            (name 16 -1)
 965            " " filename)))
 966   :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
 967 #+end_src
 968
 969 *** Outline
 970
 971 #+begin_src emacs-lisp
 972 (use-package outline
 973   :hook (prog-mode . outline-minor-mode)
 974   :bind
 975   (:map
 976    outline-minor-mode-map
 977    ("<s-tab>"  . outline-toggle-children)
 978    ("M-p"      . outline-previous-visible-heading)
 979    ("M-n"      . outline-next-visible-heading)
 980    :prefix-map amin--outline-prefix-map
 981    :prefix "s-o"
 982    ("TAB" . outline-toggle-children)
 983    ("a"   . outline-hide-body)
 984    ("H"   . outline-hide-body)
 985    ("S"   . outline-show-all)
 986    ("h"   . outline-hide-subtree)
 987    ("s"   . outline-show-subtree)))
 988 #+end_src
 989
 990 * Borg's =layer/essentials=
 991
 992 TODO: break this giant source block down into individual org sections.
 993
 994 #+begin_src emacs-lisp
 995 (use-package dash
 996   :config (dash-enable-font-lock))
 997
 998 (use-package diff-hl
 999   :config
1000   (setq diff-hl-draw-borders nil)
1001   (global-diff-hl-mode)
1002   (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
1003
1004 (use-package dired
1005   :defer t
1006   :config (setq dired-listing-switches "-alh"))
1007
1008 (use-package eldoc
1009   :when (version< "25" emacs-version)
1010   :config (global-eldoc-mode))
1011
1012 (use-package help
1013   :defer t
1014   :config (temp-buffer-resize-mode))
1015
1016 (progn ;    `isearch'
1017   (setq isearch-allow-scroll t))
1018
1019 (use-package lisp-mode
1020   :config
1021   (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1022   (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1023   (defun indent-spaces-mode ()
1024     (setq indent-tabs-mode nil))
1025   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1026
1027 (use-package man
1028   :defer t
1029   :config (setq Man-width 80))
1030
1031 (use-package paren
1032   :config (show-paren-mode))
1033
1034 (use-package prog-mode
1035   :config (global-prettify-symbols-mode)
1036   (defun indicate-buffer-boundaries-left ()
1037     (setq indicate-buffer-boundaries 'left))
1038   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1039
1040 (use-package recentf
1041   :demand t
1042   :config
1043   (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1044   (setq recentf-max-saved-items 40))
1045
1046 (use-package savehist
1047   :config (savehist-mode))
1048
1049 (use-package saveplace
1050   :when (version< "25" emacs-version)
1051   :config (save-place-mode))
1052
1053 (use-package simple
1054   :config (column-number-mode))
1055
1056 (progn ;    `text-mode'
1057   (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left))
1058
1059 (use-package tramp
1060   :defer t
1061   :config
1062   (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1063   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1064   (add-to-list 'tramp-default-proxies-alist
1065                (list (regexp-quote (system-name)) nil nil)))
1066
1067 (use-package undo-tree
1068   :bind (("C-?" . undo-tree-undo)
1069          ("M-_" . undo-tree-redo))
1070   :config
1071   (global-undo-tree-mode)
1072   (setq undo-tree-mode-lighter ""
1073         undo-tree-auto-save-history t))
1074 #+end_src
1075
1076 * Editing
1077
1078 ** Company
1079
1080 #+begin_src emacs-lisp
1081 (use-package company
1082   :defer 5
1083   :bind
1084   (:map company-active-map
1085         ([tab]    . company-complete-common-or-cycle)
1086         ([escape] . company-abort))
1087   :custom
1088   (company-idle-delay 0.3)
1089   (company-minimum-prefix-length 1)
1090   (company-selection-wrap-around t)
1091   (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1092   (company-dabbrev-downcase nil)
1093   (company-dabbrev-ignore-case nil)
1094   :config
1095   (global-company-mode t))
1096 #+end_src
1097
1098 * Syntax and spell checking
1099 #+begin_src emacs-lisp
1100 (use-package flycheck
1101   :hook (prog-mode . flycheck-mode)
1102   :bind
1103   (:map flycheck-mode-map
1104         ("M-P" . flycheck-previous-error)
1105         ("M-N" . flycheck-next-error))
1106   :config
1107   ;; Use the load-path from running Emacs when checking elisp files
1108   (setq flycheck-emacs-lisp-load-path 'inherit)
1109
1110   ;; Only flycheck when I actually save the buffer
1111   (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1112
1113 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1114 (use-package ispell
1115   :config
1116   ;; ’ can be part of a word
1117   (setq ispell-local-dictionary-alist
1118         `((nil "[[:alpha:]]" "[^[:alpha:]]"
1119                "['\x2019]" nil ("-B") nil utf-8)))
1120   ;; don't send ’ to the subprocess
1121   (defun endless/replace-apostrophe (args)
1122     (cons (replace-regexp-in-string
1123            "’" "'" (car args))
1124           (cdr args)))
1125   (advice-add #'ispell-send-string :filter-args
1126               #'endless/replace-apostrophe)
1127
1128   ;; convert ' back to ’ from the subprocess
1129   (defun endless/replace-quote (args)
1130     (if (not (derived-mode-p 'org-mode))
1131         args
1132       (cons (replace-regexp-in-string
1133              "'" "’" (car args))
1134             (cdr args))))
1135   (advice-add #'ispell-parse-output :filter-args
1136               #'endless/replace-quote))
1137 #+end_src
1138 * Programming modes
1139
1140 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1141
1142 #+begin_src emacs-lisp
1143 (use-package alloy-mode
1144   :config (setq alloy-basic-offset 2))
1145 #+end_src
1146
1147 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1148
1149 #+begin_src emacs-lisp
1150 (use-package proof-site  ; Proof General
1151   :load-path "lib/proof-site/generic/")
1152 #+end_src
1153
1154 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1155
1156 #+begin_src emacs-lisp
1157 (eval-when-compile (defvar lean-mode-map))
1158 (use-package lean-mode
1159   :defer 2
1160   :bind (:map lean-mode-map
1161               ("S-SPC" . company-complete))
1162   :config
1163   (require 'lean-input)
1164   (setq default-input-method "Lean"))
1165   #+end_src
1166
1167 ** Haskell
1168
1169 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1170
1171 #+begin_src emacs-lisp
1172 (use-package haskell-mode
1173   :config
1174   (setq haskell-indentation-layout-offset 4
1175         haskell-indentation-left-offset 4
1176         flycheck-checker 'haskell-hlint
1177         flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1178 #+end_src
1179
1180 *** [[https://github.com/jyp/dante][dante]]
1181
1182 #+begin_src emacs-lisp
1183 (use-package dante
1184   :after haskell-mode
1185   :commands dante-mode
1186   :hook (haskell-mode . dante-mode))
1187 #+end_src
1188
1189 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1190
1191 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1192 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1193
1194 #+begin_src emacs-lisp
1195 (use-package hlint-refactor
1196   :bind (:map hlint-refactor-mode-map
1197               ("C-c l b" . hlint-refactor-refactor-buffer)
1198               ("C-c l r" . hlint-refactor-refactor-at-point))
1199   :hook (haskell-mode . hlint-refactor-mode))
1200 #+end_src
1201
1202 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1203
1204 #+begin_src emacs-lisp
1205 (use-package flycheck-haskell)
1206 #+end_src
1207
1208 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1209 :PROPERTIES:
1210 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1211 :END:
1212
1213 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1214 instead.
1215
1216 #+begin_src emacs-lisp :tangle no
1217 ;;; hs-lint.el --- minor mode for HLint code checking
1218
1219 ;; Copyright 2009 (C) Alex Ott
1220 ;;
1221 ;; Author: Alex Ott <alexott@gmail.com>
1222 ;; Keywords: haskell, lint, HLint
1223 ;; Requirements:
1224 ;; Status: distributed under terms of GPL2 or above
1225
1226 ;; Typical message from HLint looks like:
1227 ;;
1228 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1229 ;; Found:
1230 ;;   count1 p l = length (filter p l)
1231 ;; Why not:
1232 ;;   count1 p = length . filter p
1233
1234
1235 (require 'compile)
1236
1237 (defgroup hs-lint nil
1238   "Run HLint as inferior of Emacs, parse error messages."
1239   :group 'tools
1240   :group 'haskell)
1241
1242 (defcustom hs-lint-command "hlint"
1243   "The default hs-lint command for \\[hlint]."
1244   :type 'string
1245   :group 'hs-lint)
1246
1247 (defcustom hs-lint-save-files t
1248   "Save modified files when run HLint or no (ask user)"
1249   :type 'boolean
1250   :group 'hs-lint)
1251
1252 (defcustom hs-lint-replace-with-suggestions nil
1253   "Replace user's code with suggested replacements"
1254   :type 'boolean
1255   :group 'hs-lint)
1256
1257 (defcustom hs-lint-replace-without-ask nil
1258   "Replace user's code with suggested replacements automatically"
1259   :type 'boolean
1260   :group 'hs-lint)
1261
1262 (defun hs-lint-process-setup ()
1263   "Setup compilation variables and buffer for `hlint'."
1264   (run-hooks 'hs-lint-setup-hook))
1265
1266 ;; regex for replace suggestions
1267 ;;
1268 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1269 ;; Found:
1270 ;; \s +\(.*\)
1271 ;; Why not:
1272 ;; \s +\(.*\)
1273
1274 (defvar hs-lint-regex
1275   "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1276   "Regex for HLint messages")
1277
1278 (defun make-short-string (str maxlen)
1279   (if (< (length str) maxlen)
1280       str
1281     (concat (substring str 0 (- maxlen 3)) "...")))
1282
1283 (defun hs-lint-replace-suggestions ()
1284   "Perform actual replacement of suggestions"
1285   (goto-char (point-min))
1286   (while (re-search-forward hs-lint-regex nil t)
1287     (let* ((fname (match-string 1))
1288           (fline (string-to-number (match-string 2)))
1289           (old-code (match-string 4))
1290           (new-code (match-string 5))
1291           (msg (concat "Replace '" (make-short-string old-code 30)
1292                        "' with '" (make-short-string new-code 30) "'"))
1293           (bline 0)
1294           (eline 0)
1295           (spos 0)
1296           (new-old-code ""))
1297       (save-excursion
1298         (switch-to-buffer (get-file-buffer fname))
1299         (goto-char (point-min))
1300         (forward-line (1- fline))
1301         (beginning-of-line)
1302         (setf bline (point))
1303         (when (or hs-lint-replace-without-ask
1304                   (yes-or-no-p msg))
1305           (end-of-line)
1306           (setf eline (point))
1307           (beginning-of-line)
1308           (setf old-code (regexp-quote old-code))
1309           (while (string-match "\\\\ " old-code spos)
1310             (setf new-old-code (concat new-old-code
1311                                  (substring old-code spos (match-beginning 0))
1312                                  "\\ *"))
1313             (setf spos (match-end 0)))
1314           (setf new-old-code (concat new-old-code (substring old-code spos)))
1315           (remove-text-properties bline eline '(composition nil))
1316           (when (re-search-forward new-old-code eline t)
1317             (replace-match new-code nil t)))))))
1318
1319 (defun hs-lint-finish-hook (buf msg)
1320   "Function, that is executed at the end of HLint execution"
1321   (if hs-lint-replace-with-suggestions
1322       (hs-lint-replace-suggestions)
1323       (next-error 1 t)))
1324
1325 (define-compilation-mode hs-lint-mode "HLint"
1326   "Mode for check Haskell source code."
1327   (set (make-local-variable 'compilation-process-setup-function)
1328        'hs-lint-process-setup)
1329   (set (make-local-variable 'compilation-disable-input) t)
1330   (set (make-local-variable 'compilation-scroll-output) nil)
1331   (set (make-local-variable 'compilation-finish-functions)
1332        (list 'hs-lint-finish-hook))
1333   )
1334
1335 (defun hs-lint ()
1336   "Run HLint for current buffer with haskell source"
1337   (interactive)
1338   (save-some-buffers hs-lint-save-files)
1339   (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1340                      'hs-lint-mode))
1341
1342 (provide 'hs-lint)
1343 ;;; hs-lint.el ends here
1344 #+end_src
1345
1346 #+begin_src emacs-lisp :tangle no
1347 (use-package hs-lint
1348   :load-path "lisp/"
1349   :bind (:map haskell-mode-map
1350               ("C-c l l" . hs-lint)))
1351 #+end_src
1352
1353 ** Web dev
1354
1355 *** SGML and HTML
1356
1357 #+begin_src emacs-lisp
1358 (use-package sgml-mode
1359   :config
1360   (setq sgml-basic-offset 2))
1361 #+end_src
1362
1363 *** CSS and SCSS
1364
1365 #+begin_src emacs-lisp
1366 (use-package css-mode
1367   :config
1368   (setq css-indent-offset 2))
1369 #+end_src
1370
1371 *** Web mode
1372
1373 #+begin_src emacs-lisp
1374 (use-package web-mode
1375   :mode "\\.html\\'"
1376   :config
1377   (setq-every! 2
1378     web-mode-code-indent-offset
1379     web-mode-css-indent-offset
1380     web-mode-markup-indent-offset))
1381 #+end_src
1382
1383 *** Emmet mode
1384
1385 #+begin_src emacs-lisp
1386 (use-package emmet-mode
1387   :bind* (("C-)" . emmet-next-edit-point)
1388           ("C-(" . emmet-prev-edit-point))
1389   :config
1390   (unbind-key "C-j" emmet-mode-keymap)
1391   (setq emmet-move-cursor-between-quotes t)
1392   :hook (web-mode css-mode html-mode sgml-mode))
1393 #+end_src
1394
1395 ** Nix
1396
1397 #+begin_src emacs-lisp
1398 (use-package nix-mode
1399   :mode "\\.nix\\'")
1400 #+end_src
1401
1402 ** Java
1403
1404 *** meghanada
1405
1406 #+begin_src emacs-lisp :tangle yes
1407 (use-package meghanada
1408   :bind
1409   (:map meghanada-mode-map
1410         (("C-M-o" . meghanada-optimize-import)
1411          ("C-M-t" . meghanada-import-all)))
1412   :hook (java-mode . meghanada-mode))
1413 #+end_src
1414
1415 *** lsp-java
1416
1417 #+begin_src emacs-lisp :tangle no
1418 (use-package treemacs)
1419
1420 (use-package yasnippet
1421   :config
1422   ;; (yas-global-mode)
1423   )
1424
1425 (use-package lsp-mode
1426   :init (setq lsp-eldoc-render-all nil
1427               lsp-highlight-symbol-at-point nil)
1428   )
1429
1430 (use-package hydra)
1431
1432 (use-package company-lsp
1433   :after  company
1434   :config
1435   (setq company-lsp-cache-candidates t
1436         company-lsp-async t))
1437
1438 (use-package lsp-ui
1439   :config
1440   (setq lsp-ui-sideline-update-mode 'point))
1441
1442 (use-package lsp-java
1443   :config
1444   (add-hook 'java-mode-hook
1445             (lambda ()
1446               (setq-local company-backends (list 'company-lsp))))
1447
1448   (add-hook 'java-mode-hook 'lsp-java-enable)
1449   (add-hook 'java-mode-hook 'flycheck-mode)
1450   (add-hook 'java-mode-hook 'company-mode)
1451   (add-hook 'java-mode-hook 'lsp-ui-mode))
1452
1453 (use-package dap-mode
1454   :after lsp-mode
1455   :config
1456   (dap-mode t)
1457   (dap-ui-mode t))
1458
1459 (use-package dap-java
1460   :after (lsp-java))
1461
1462 (use-package lsp-java-treemacs
1463   :after (treemacs))
1464 #+end_src
1465
1466 * Emacs Enhancements
1467
1468 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1469
1470 #+begin_quote
1471 Emacs package that displays available keybindings in popup
1472 #+end_quote
1473
1474 #+begin_src emacs-lisp
1475 (use-package which-key
1476   :defer 1
1477   :config (which-key-mode))
1478 #+end_src
1479
1480 ** [[https://github.com/seagle0128/doom-modeline][doom-modeline]]
1481
1482 #+begin_src emacs-lisp
1483 (use-package doom-modeline
1484   :demand t
1485   :config (setq doom-modeline-height 32)
1486   :hook (after-init . doom-modeline-init))
1487 #+end_src
1488
1489 ** [[https://github.com/maio/eink-emacs][eink-theme]]
1490
1491 #+begin_src emacs-lisp
1492 (setq doom-modeline-bar-width 5)
1493 (load-theme 'eink t)
1494 #+end_src
1495
1496 ** [[https://github.com/bbatsov/crux][crux]]
1497
1498 #+begin_src emacs-lisp
1499 (use-package crux
1500   :bind (("C-c d"   . crux-duplicate-current-line-or-region)
1501          ("C-c M-d" . crux-duplicate-and-comment-current-line-or-region)
1502          ("C-c b K" . crux-kill-other-buffers)
1503          ("C-c f c" . crux-copy-file-preserve-attributes)
1504          ("C-c f D" . crux-delete-file-and-buffer)
1505          ("C-c f R" . crux-rename-file-and-buffer)
1506          ("C-S-j"   . crux-top-join-line)
1507          ("C-c j"   . crux-top-join-line)))
1508 #+end_src
1509
1510 ** [[https://github.com/alezost/mwim.el][mwim]]
1511
1512 #+begin_src emacs-lisp
1513 (use-package mwim
1514   :bind (("C-a"    . mwim-beginning-of-code-or-line)
1515          ("C-e"    . mwim-end-of-code-or-line)
1516          ("<home>" . mwim-beginning-of-line-or-code)
1517          ("<end>"  . mwim-end-of-line-or-code)))
1518 #+end_src
1519
1520 ** projectile
1521
1522 #+begin_src emacs-lisp
1523 (use-package projectile
1524   :defer 5
1525   :bind-keymap ("C-c p" . projectile-command-map)
1526   :config
1527   (projectile-mode)
1528
1529   (defun my-projectile-invalidate-cache (&rest _args)
1530     ;; ignore the args to `magit-checkout'
1531     (projectile-invalidate-cache nil))
1532
1533   (eval-after-load 'magit-branch
1534     '(progn
1535        (advice-add 'magit-checkout
1536                    :after #'my-projectile-invalidate-cache)
1537        (advice-add 'magit-branch-and-checkout
1538                    :after #'my-projectile-invalidate-cache))))
1539 #+end_src
1540
1541 ** [[https://github.com/Wilfred/helpful][helpful]]
1542
1543 #+begin_src emacs-lisp
1544 (use-package helpful
1545   :bind
1546   (;; ("C-h F"   . helpful-function)
1547    ("C-h f"   . helpful-callable)
1548    ("C-h v"   . helpful-variable)
1549    ("C-h k"   . helpful-key)
1550    ("C-c C-d" . helpful-at-point)
1551    ("C-h C"   . helpful-command)
1552    ("C-h c"   . describe-char)
1553    ("C-h F"   . describe-face)))
1554
1555 (use-package help
1556   :bind
1557   (("C-S-h f" . describe-function)
1558    ("C-S-h v" . describe-variable)
1559    ("C-S-h k" . describe-key)
1560    ("C-S-h C" . describe-coding-system)
1561    ("C-S-h c" . describe-key-briefly))
1562   :config (setq help-window-select t))
1563 #+end_src
1564
1565 ** [[https://github.com/kyagi/shell-pop-el][shell-pop]]
1566
1567 #+begin_src emacs-lisp
1568 (use-package shell-pop
1569   :custom
1570   (shell-pop-universal-key "C-c e")
1571   (shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
1572 #+end_src
1573
1574 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1575
1576 Make =*scratch*= and =*Messages*= unkillable.
1577
1578 #+begin_src emacs-lisp
1579 (use-package unkillable-scratch
1580   :config
1581   (unkillable-scratch 1)
1582   :custom
1583   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1584 #+end_src
1585
1586 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1587
1588 #+begin_example
1589 ,----
1590 | make pretty boxed quotes like this
1591 `----
1592 #+end_example
1593
1594 #+begin_src emacs-lisp
1595 (use-package boxquote
1596   :bind
1597   (:prefix-map amin--boxquote-prefix-map
1598    :prefix "C-c q"
1599    ("b"   . boxquote-buffer)
1600    ("B"   . boxquote-insert-buffer)
1601    ("d"   . boxquote-defun)
1602    ("F"   . boxquote-insert-file)
1603    ("hf"  . boxquote-describe-function)
1604    ("hk"  . boxquote-describe-key)
1605    ("hv"  . boxquote-describe-variable)
1606    ("hw"  . boxquote-where-is)
1607    ("k"   . boxquote-kill)
1608    ("p"   . boxquote-paragraph)
1609    ("q"   . boxquote-boxquote)
1610    ("r"   . boxquote-region)
1611    ("s"   . boxquote-shell-command)
1612    ("t"   . boxquote-text)
1613    ("T"   . boxquote-title)
1614    ("u"   . boxquote-unbox)
1615    ("U"   . boxquote-unbox-region)
1616    ("y"   . boxquote-yank)
1617    ("M-q" . boxquote-fill-paragraph)
1618    ("M-w" . boxquote-kill-ring-save)))
1619 #+end_src
1620
1621 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1622
1623 ** [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]
1624
1625 #+begin_src emacs-lisp
1626 (use-package highlight-indent-guides
1627   :demand t
1628   :hook ((prog-mode . highlight-indent-guides-mode)
1629          ;; (org-mode  . highlight-indent-guides-mode)
1630          )
1631   :config
1632   (setq highlight-indent-guides-character ?\|)
1633   (setq highlight-indent-guides-auto-enabled nil)
1634   (setq highlight-indent-guides-method 'character)
1635   (setq highlight-indent-guides-responsive 'top)
1636   (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1637   (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1638 #+end_src
1639
1640 ** pdf-tools
1641
1642 #+begin_src emacs-lisp
1643 (use-package pdf-tools
1644   :magic ("%PDF" . pdf-view-mode)
1645   :config
1646   (setq pdf-view-resize-factor 1.05)
1647   (pdf-tools-install)
1648   :bind
1649   (:map pdf-view-mode-map
1650         ("C-s" . isearch-forward)
1651         ("C-r" . isearch-backward)
1652         ("j"   . pdf-view-next-line-or-next-page)
1653         ("k"   . pdf-view-previous-line-or-previous-page)
1654         ("h"   . image-backward-hscroll)
1655         ("l"   . image-forward-hscroll)))
1656 #+end_src
1657
1658 ** anzu
1659
1660 #+begin_src emacs-lisp
1661 (use-package anzu)
1662 #+end_src
1663
1664 ** typo.el
1665
1666 #+begin_src emacs-lisp
1667 (use-package typo
1668   :config
1669   (typo-global-mode 1)
1670   :hook (text-mode . typo-mode))
1671 #+end_src
1672
1673 ** slack
1674
1675 Hopefully temporary.
1676
1677 #+begin_src emacs-lisp
1678 (use-package slack
1679   :commands (slack-start)
1680   :init
1681   (eval-when-compile                    ; silence the byte-compiler
1682     (defvar url-http-data nil)
1683     (defvar url-http-extra-headers nil)
1684     (defvar url-http-method nil)
1685     (defvar url-callback-function nil)
1686     (defvar url-callback-arguments nil)
1687     (defvar oauth--token-data nil))
1688   (setq slack-buffer-emojify t
1689         slack-prefer-current-team t)
1690   :config
1691   (slack-register-team
1692    :name "uw-apv"
1693    :default t
1694    :client-id uw-apv-client-id
1695    :client-secret uw-apv-client-secret
1696    :token uw-apv-token
1697    :subscribed-channels '(general)
1698    :full-and-display-names t)
1699   (slack-register-team
1700    :name "watform"
1701    :default nil
1702    :client-id watform-client-id
1703    :client-secret watform-client-secret
1704    :token watform-token
1705    :subscribed-channels '(general)
1706    :full-and-display-names t)
1707   (add-to-list 'swiper-font-lock-exclude 'slack-message-buffer-mode t)
1708   :bind
1709   (("C-c s s" . slack-start)
1710    ("C-c s u" . slack-select-unread-rooms)
1711    ("C-c s b" . slack-select-rooms)
1712    ("C-c s t" . slack-change-current-team)
1713    ("C-c s c" . slack-ws-close)
1714    :map slack-mode-map
1715    ("M-p"     . slack-buffer-goto-prev-message)
1716    ("M-n"     . slack-buffer-goto-next-message)
1717    ("C-c e"   . slack-message-edit)
1718    ("C-c k"   . slack-message-delete)
1719    ("C-c C-k" . slack-channel-leave)
1720    ("C-c r a" . slack-message-add-reaction)
1721    ("C-c r r" . slack-message-remove-reaction)
1722    ("C-c r s" . slack-message-show-reaction-users)
1723    ("C-c p l" . slack-room-pins-list)
1724    ("C-c p a" . slack-message-pins-add)
1725    ("C-c p r" . slack-message-pins-remove)
1726    ("@"       . slack-message-embed-mention)
1727    ("#"       . slack-message-embed-channel)))
1728
1729 (use-package alert
1730   :commands (alert)
1731   :init
1732   (setq alert-default-style 'notifier))
1733 #+end_src
1734
1735 * Email
1736
1737 #+begin_src emacs-lisp
1738 (defvar amin-maildir (expand-file-name "~/mail/"))
1739 (after! recentf
1740   (add-to-list 'recentf-exclude amin-maildir))
1741 #+end_src
1742
1743 ** Gnus
1744
1745 #+begin_src emacs-lisp :tangle yes
1746 (setq amin-gnus-init-file (no-littering-expand-etc-file-name "gnus"))
1747
1748 (use-package gnus
1749   :bind ("s-m" . gnus)
1750   :init
1751   (setq
1752    gnus-select-method
1753    '(nnimap "local"
1754             (nnimap-address "localhost")
1755             (nnimap-stream shell))
1756    nnimap-shell-program  "/usr/lib/dovecot/imap -o mail_location=maildir:$MAILDIR/amin:LAYOUT=fs:INBOX=$MAILDIR/amin/Inbox"
1757    ;; gnus-init-file        amin-gnus-init-file
1758    gnus-home-directory   (no-littering-expand-var-file-name "gnus/")
1759    ;; gnus-directory        (no-littering-expand-var-file-name "gnus/News/")
1760    ;; message-directory     amin-maildir
1761    gnus-save-newsrc-file nil
1762    gnus-read-newsrc-file nil
1763    gnus-interactive-exit nil
1764    gnus-gcc-mark-as-read t))
1765
1766 (use-package gnus-art
1767   :config
1768   (setq
1769    gnus-visible-headers
1770    (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:")
1771    gnus-sorted-header-list
1772    '("^From:" "^Subject:" "^Summary:" "^Keywords:"
1773      "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
1774      "^Newsgroups:" "List-Id:" "^Organization:"
1775      "^Date:")
1776   ;; local-lapsed article dates
1777   ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
1778   gnus-article-date-headers '(user-defined)
1779   gnus-article-time-format
1780   (lambda (time)
1781     (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
1782            (local (article-make-date-line date 'local))
1783            (combined-lapsed (article-make-date-line date
1784                                                     'combined-lapsed))
1785            (lapsed (progn
1786                      (string-match " (.+" combined-lapsed)
1787                      (match-string 0 combined-lapsed))))
1788       (concat local lapsed)))))
1789
1790 (use-package gnus-sum
1791   :config
1792   (setq gnus-extra-headers (append gnus-extra-headers
1793                                    '(List-Id X-RT-Originator))))
1794
1795 (use-package nnmail
1796   :config
1797   (setq nnmail-extra-headers (append nnmail-extra-headers
1798                                      '(List-Id X-RT-Originator))))
1799
1800 (use-package mm-decode
1801   :config
1802   (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
1803 #+end_src
1804
1805 # #+begin_src emacs-lisp :tangle (concat gnus-init-file ".el") :mkdirp yes
1806 #+begin_src emacs-lisp :tangle no
1807 (setq
1808  gnus-select-method
1809  '(nnimap "local"
1810           (nnimap-address "localhost")
1811           (nnimap-stream shell))
1812  nnimap-shell-program
1813  "/usr/lib/dovecot/imap -o maildir:$MAILDIR/amin:LAYOUT=fs:INBOX=$MAILDIR/amin/Inbox")
1814 #+end_src
1815
1816 ** sendmail
1817
1818 #+begin_src emacs-lisp
1819 (use-package sendmail
1820   :config
1821   (setq sendmail-program "/usr/bin/msmtp"
1822         ;; message-sendmail-extra-arguments '("-v" "-d")
1823         mail-specify-envelope-from t
1824         mail-envelope-from 'header))
1825 #+end_src
1826
1827 ** message
1828
1829 #+begin_src emacs-lisp
1830 (use-package message
1831   :config
1832   (setq message-kill-buffer-on-exit t
1833         message-send-mail-function 'message-send-mail-with-sendmail
1834         message-sendmail-envelope-from 'header
1835         ;; message-directory "drafts"
1836         message-user-fqdn "aminb.org")
1837   ;; (add-hook 'message-mode-hook 'electric-quote-local-mode)
1838   (add-hook 'message-mode-hook
1839             (lambda () (setq fill-column 65
1840                         message-fill-column 65)))
1841   (add-hook 'message-mode-hook
1842             #'flyspell-mode)
1843   ;; (add-hook 'message-setup-hook
1844   ;;           #'mml-secure-message-sign-pgpmime)
1845   :custom-face
1846   (message-header-subject ((t (:foreground "navy blue" :weight semi-bold))))
1847   (message-header-to ((t (:foreground "MidnightBlue" :weight semi-bold)))))
1848
1849 (after! mml-sec
1850   (setq mml-secure-openpgp-encrypt-to-self t
1851         mml-secure-openpgp-sign-with-sender t))
1852 #+end_src
1853
1854 ** [[https://notmuchmail.org][notmuch]]
1855
1856 See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
1857
1858 #+begin_src emacs-lisp :tangle no
1859 (defun amin/notmuch ()
1860   "Delete other windows, then launch `notmuch'."
1861   (interactive
1862    (when (equal current-prefix-arg nil)
1863      (delete-other-windows)))
1864   (notmuch))
1865
1866 (use-package notmuch
1867   :commands notmuch
1868   :bind ("C-c n" . amin/notmuch)
1869   :custom (notmuch-always-prompt-for-sender t)
1870   :config
1871   (setq notmuch-hello-sections
1872         '(notmuch-hello-insert-header
1873           notmuch-hello-insert-saved-searches
1874           ;; notmuch-hello-insert-search
1875           notmuch-hello-insert-alltags)
1876         notmuch-search-oldest-first nil
1877         notmuch-show-all-tags-list t
1878         notmuch-message-headers  ; see bug follow-up above
1879         '("Subject" "To" "Cc" "Date" "List-Id" "X-RT-Originator")
1880         notmuch-hello-thousands-separator ","
1881         notmuch-fcc-dirs
1882         '(("amin@aminb.org"        . "amin/Sent")
1883           ("bandali@gnu.org"       . "gnu/Sent")
1884           ("abandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
1885           ("mab@gnu.org"           . "gnu/Sent")
1886           ("amin@gnu.org"          . "gnu/Sent")
1887           ("aminb@gnu.org"         . "gnu/Sent")
1888           (".*"                    . "sent"))
1889         notmuch-search-result-format
1890         '(("date"    . "%12s ")
1891           ("count"   . "%-7s ")
1892           ("authors" . "%-40s ")
1893           ("subject" . "%s ")
1894           ("tags"    . "(%s)"))
1895         notmuch-saved-searches
1896         '((:name "inbox"     :query "tag:inbox"     :key "i")
1897           (:name "unread"    :query "tag:unread"    :key "u")
1898           (:name "latest"    :query "tag:latest"    :key "l")
1899           (:name "encrypted" :query "tag:encrypted" :key "e")
1900           (:name "flagged"   :query "tag:flagged"   :key "f")
1901           (:name "sent"      :query "tag:sent"      :key "s")
1902           (:name "drafts"    :query "tag:draft"     :key "d")
1903           (:name "all mail"  :query "*"             :key "a")))
1904   ;; (add-hook 'visual-fill-column-mode-hook
1905   ;;           (lambda ()
1906   ;;             (when (string= major-mode 'notmuch-message-mode)
1907   ;;               (setq visual-fill-column-width 70))))
1908   ;; (set! :evil-state 'notmuch-message-mode 'insert)
1909   ;; (advice-add #'notmuch-bury-or-kill-this-buffer
1910   ;;             :override #'kill-this-buffer)
1911   :hook (notmuch-message-mode . doom-modeline-set-special-modeline)
1912   :bind
1913   (:map notmuch-hello-mode-map
1914         ("u" . (lambda ()
1915                  "Search for `unread'-tagged messages"
1916                  (interactive)
1917                  (notmuch-hello-search "tag:unread")))
1918         ("i" . (lambda ()
1919                  "Search for `inbox'-tagged messages"
1920                  (interactive)
1921                  (notmuch-hello-search "tag:inbox")))
1922         ("l" . (lambda ()
1923                  "Search for `latest'-tagged messages"
1924                  (interactive)
1925                  (notmuch-hello-search "tag:latest")))
1926         ("e" . (lambda ()
1927                  "Search for `encrypted'-tagged messages"
1928                  (interactive)
1929                  (notmuch-hello-search "tag:encrypted"))))
1930   (:map notmuch-search-mode-map
1931         ("k" . (lambda ()
1932                  "Mark message read"
1933                  (interactive)
1934                  (notmuch-search-tag '("-unread"))
1935                  ;; (notmuch-search-archive-thread)
1936                  (notmuch-search-next-thread)))
1937         ("u" . (lambda ()
1938                  "Mark message unread"
1939                  (interactive)
1940                  (notmuch-search-tag '("+unread"))
1941                  (notmuch-search-next-thread)))
1942         ("K" . (lambda ()
1943                  "Mark message deleted"
1944                  (interactive)
1945                  (notmuch-search-tag '("-unread" "-inbox" "+deleted"))
1946                  (notmuch-search-next-thread)))
1947         ("S" . (lambda ()
1948                  "Mark message as spam"
1949                  (interactive)
1950                  (notmuch-search-tag '("-unread" "-inbox" "-webmasters" "+spam"))
1951                  (notmuch-search-next-thread))))
1952   (:map notmuch-tree-mode-map
1953         ("k" . (lambda ()
1954                  "Mark message read"
1955                  (interactive)
1956                  (notmuch-tree-tag '("-unread"))
1957                  ;; (notmuch-tree-archive-thread)
1958                  (notmuch-tree-next-message)))
1959         ("u" . (lambda ()
1960                  "Mark message unread"
1961                  (interactive)
1962                  (notmuch-tree-tag '("+unread"))
1963                  (notmuch-tree-next-message)))
1964         ("K" . (lambda ()
1965                  "Mark message deleted"
1966                  (interactive)
1967                  (notmuch-tree-tag '("-unread" "-inbox" "+deleted"))
1968                  (notmuch-tree-next-message)))
1969         ("S" . (lambda ()
1970                  "Mark message as spam"
1971                  (interactive)
1972                  (notmuch-tree-tag '("-unread" "-inbox" "-webmasters" "+spam"))
1973                  (notmuch-tree-next-message))))
1974   :custom-face
1975   (notmuch-search-unread-face ((t (:weight semi-bold))))
1976   (notmuch-tag-face ((t (:foreground "navy blue" :weight semi-bold)))))
1977
1978 (use-package counsel-notmuch
1979   :bind ("C-c s m" . counsel-notmuch))
1980
1981 (after! notmuch-crypto
1982   (setq notmuch-crypto-process-mime t))
1983 #+end_src
1984
1985 ** supercite
1986
1987 #+begin_src emacs-lisp :tangle no
1988 (use-package supercite
1989   :commands sc-cite-original
1990   :init
1991   (add-hook 'mail-citation-hook 'sc-cite-original)
1992
1993   (defun sc-remove-existing-signature ()
1994     (save-excursion
1995       (goto-char (region-beginning))
1996       (when (re-search-forward message-signature-separator (region-end) t)
1997         (delete-region (match-beginning 0) (region-end)))))
1998
1999   (add-hook 'mail-citation-hook 'sc-remove-existing-signature)
2000
2001   (defun sc-remove-if-not-mailing-list ()
2002     (unless (assoc "list-id" sc-mail-info)
2003       (setq attribution sc-default-attribution
2004             citation (concat sc-citation-delimiter
2005                              sc-citation-separator))))
2006
2007   (add-hook 'sc-attribs-postselect-hook 'sc-remove-if-not-mailing-list)
2008
2009   :config
2010   (defun sc-fill-if-different (&optional prefix)
2011     "Fill the region bounded by `sc-fill-begin' and point.
2012 Only fill if optional PREFIX is different than
2013 `sc-fill-line-prefix'.  If `sc-auto-fill-region-p' is nil, do not
2014 fill region.  If PREFIX is not supplied, initialize fill
2015 variables.  This is useful for a regi `begin' frame-entry."
2016     (if (not prefix)
2017         (setq sc-fill-line-prefix ""
2018               sc-fill-begin (line-beginning-position))
2019       (if (and sc-auto-fill-region-p
2020                (not (string= prefix sc-fill-line-prefix)))
2021           (let ((fill-prefix sc-fill-line-prefix))
2022             (unless (or (string= fill-prefix "")
2023                         (save-excursion
2024                           (goto-char sc-fill-begin)
2025                           (or (looking-at ">+  +")
2026                               (< (length
2027                                   (buffer-substring (point)
2028                                                     (line-end-position)))
2029                                  65))))
2030               (fill-region sc-fill-begin (line-beginning-position)))
2031             (setq sc-fill-line-prefix prefix
2032                   sc-fill-begin (line-beginning-position)))))
2033 nil))
2034 #+end_src
2035
2036 * Blogging
2037 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2038
2039 #+begin_src emacs-lisp
2040 (use-package ox-hugo
2041   :after ox)
2042
2043 (use-package ox-hugo-auto-export
2044   :load-path "lib/ox-hugo")
2045 #+end_src
2046
2047 * Post initialization
2048 :PROPERTIES:
2049 :CUSTOM_ID: post-initialization
2050 :END:
2051
2052 Display how long it took to load the init file.
2053
2054 #+begin_src emacs-lisp
2055 (message "Loading %s...done (%.3fs)" user-init-file
2056          (float-time (time-subtract (current-time)
2057                                     amin--before-user-init-time)))
2058 #+end_src
2059
2060 * Footer
2061 :PROPERTIES:
2062 :CUSTOM_ID: footer
2063 :END:
2064
2065 #+begin_src emacs-lisp :comments none
2066 ;;; init.el ends here
2067 #+end_src
2068
2069 * COMMENT Local Variables                                           :ARCHIVE:
2070 # Local Variables:
2071 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
2072 # End: