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

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