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   (unbind-key "C-k" evil-insert-state-map)
 736   (bind-keys
 737     :map evil-insert-state-map
 738     ("C-k"   . kill-line)
 739     ("C-S-k" . evil-insert-digraph)
 740     :map evil-motion-state-map
 741     ([down-mouse-1] . nil)))
 742 #+end_src
 743
 744 #+begin_src emacs-lisp
 745 (use-package evil-escape
 746   :after evil
 747   :init
 748   (setq evil-escape-excluded-states '(normal visual multiedit emacs motion)
 749         evil-escape-excluded-major-modes '(neotree-mode)
 750         evil-escape-key-sequence "jk"
 751         evil-escape-delay 0.25)
 752   ;; :general
 753   ;; (:states '(insert replace visual operator)
 754   ;;          "C-g" #'evil-escape)
 755   :config
 756   (evil-escape-mode 1)
 757   ;; no `evil-escape' in minibuffer
 758   (push #'minibufferp evil-escape-inhibit-functions))
 759 #+end_src
 760
 761 #+begin_src emacs-lisp
 762 (use-package evil-nerd-commenter
 763   :after evil
 764   :general
 765   (nmap
 766     "gc" 'evilnc-comment-operator
 767     "gy" 'evilnc-copy-and-comment-lines))
 768 #+end_src
 769
 770 #+begin_src emacs-lisp
 771 (use-package evil-surround
 772   :after evil
 773   :general
 774   (omap
 775     "s" 'evil-surround-edit
 776     "S" 'evil-Surround-edit)
 777   (vmap
 778     "S" 'evil-surround-region
 779     "gS" 'evil-Surround-region))
 780 #+end_src
 781
 782 #+begin_src emacs-lisp
 783 (amin--leader-keys
 784   "/"   '(:ignore t :wk "search")
 785
 786   "b"   '(:ignore t :wk "buffers")
 787   "b k" 'kill-this-buffer
 788   "b s" 'save-buffer
 789
 790   "e"   '(:ignore t :wk "eval")
 791   "e b" 'eval-buffer
 792   "e r" 'eval-region
 793
 794   "e e" 'shell-pop
 795
 796   "f"   '(:ignore t :wk "files")
 797
 798   "F"   '(:ignore t :wk "frames")
 799   "F m" 'make-frame-command
 800   "F d" 'delete-frame
 801   "F D" 'delete-other-frames
 802
 803   "h"   '(:ignore t :wk "help(ful)")
 804   "h c" 'describe-char
 805   "h f" 'describe-function
 806   "h F" 'describe-face
 807   "h H" 'view-hello-file
 808   "h i" 'info
 809   "h k" 'describe-key
 810   "h l" 'view-lossage
 811   "h v" 'describe-variable
 812
 813   "o"   'other-window
 814
 815   "w"   '(:ignore t :wk "window")
 816   "w o" 'other-window
 817   "w 0" 'delete-window
 818   "w 1" 'delete-other-windows
 819   "w 2" 'split-window-below
 820   "w 3" 'split-window-right
 821   "w u" 'winner-undo
 822   "w r" 'winner-redo
 823
 824   "q"   '(:ignore t :wk "quit")
 825   "q q" 'save-buffers-kill-terminal)
 826 #+end_src
 827
 828 *** [[https://orgmode.org/][Org mode]]
 829
 830 #+begin_quote
 831 Org mode is for keeping notes, maintaining TODO lists, planning
 832 projects, and authoring documents with a fast and effective plain-text
 833 system.
 834 #+end_quote
 835
 836 In short, my favourite way of life.
 837
 838 #+begin_src emacs-lisp
 839 (use-package org
 840   :defer 3
 841   :general
 842   (amin--leader-keys
 843     :states 'normal
 844     :keymaps 'org-mode-map
 845     "'" 'org-edit-special)
 846   (amin--leader-keys
 847     :definer 'minor-mode
 848     :states 'normal
 849     :keymaps 'org-src-mode
 850     "'" 'org-edit-src-exit
 851     "k" 'org-edit-src-abort)
 852   (general-define-key
 853    :definer 'minor-mode
 854    :states 'normal
 855    :keymaps 'org-src-mode
 856    "q" 'org-edit-src-exit)
 857   :config
 858   (setq org-src-tab-acts-natively t
 859         org-src-preserve-indentation nil
 860         org-edit-src-content-indentation 0
 861         org-email-link-description-format "Email %c: %s" ; %.30s
 862         org-log-done 'time)
 863   (add-to-list 'org-structure-template-alist '("L" . "src emacs-lisp") t)
 864   (after! org-src
 865     (define-key org-src-mode-map [remap evil-write] 'org-edit-src-save)
 866     (define-key org-src-mode-map [remap evil-save-and-close]
 867       (lambda () (interactive)
 868         (org-edit-src-save)
 869         (org-edit-src-exit)))
 870     (define-key org-src-mode-map [remap evil-save-modified-and-close]
 871       (lambda () (interactive)
 872         (org-edit-src-save)
 873         (org-edit-src-exit)))
 874     (define-key org-src-mode-map [remap evil-quit] 'org-edit-src-abort))
 875   :bind (:map org-mode-map ("M-L" . org-insert-last-stored-link))
 876   :hook ((org-mode . org-indent-mode)
 877          (org-mode . auto-fill-mode)
 878          (org-mode . flyspell-mode))
 879   :custom
 880   (org-latex-packages-alist '(("" "listings") ("" "color"))))
 881
 882 (use-package ox-latex
 883   :after ox
 884   :config
 885   (setq org-latex-listings 'listings
 886         ;; org-latex-prefer-user-labels t
 887         )
 888   (add-to-list 'org-latex-packages-alist '("" "listings"))
 889   (add-to-list 'org-latex-packages-alist '("" "color"))
 890   (add-to-list 'org-latex-classes
 891                '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
 892                  ("\\section{%s}" . "\\section*{%s}")
 893                  ("\\subsection{%s}" . "\\subsection*{%s}")
 894                  ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
 895                  ("\\paragraph{%s}" . "\\paragraph*{%s}")
 896                  ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
 897                t))
 898
 899 (use-package ox-beamer
 900   :after ox)
 901
 902 (use-package ob-tangle
 903   :general
 904   (amin--leader-keys
 905     :states 'normal
 906     :keymaps 'org-mode-map
 907     "b t" 'org-babel-tangle))
 908
 909 (use-package orgalist
 910   :after message
 911   :hook (message-mode . orgalist-mode))
 912 #+end_src
 913
 914 **** asynchronous tangle
 915
 916 =amin/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
 917 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
 918 file.
 919
 920 #+begin_src emacs-lisp
 921 (after! org
 922   (defvar amin-show-async-tangle-results nil
 923     "Keep *emacs* async buffers around for later inspection.")
 924
 925   (defvar amin-show-async-tangle-time nil
 926     "Show the time spent tangling the file.")
 927
 928   (defvar amin-async-tangle-post-compile "make ti"
 929     "If non-nil, pass to `compile' after successful tangle.")
 930
 931   (defun amin/async-babel-tangle ()
 932     "Tangle org file asynchronously."
 933     (interactive)
 934     (let* ((file-tangle-start-time (current-time))
 935            (file (buffer-file-name))
 936            (file-nodir (file-name-nondirectory file))
 937            (async-quiet-switch "-q"))
 938       (async-start
 939        `(lambda ()
 940           (require 'org)
 941           (org-babel-tangle-file ,file))
 942        (unless amin-show-async-tangle-results
 943          `(lambda (result)
 944             (if result
 945                 (progn
 946                   (message "Tangled %s%s"
 947                            ,file-nodir
 948                            (if amin-show-async-tangle-time
 949                                (format " (%.3fs)"
 950                                        (float-time (time-subtract (current-time)
 951                                                                   ',file-tangle-start-time)))
 952                              ""))
 953                   (when amin-async-tangle-post-compile
 954                     (compile amin-async-tangle-post-compile)))
 955               (message "Tangling %s failed" ,file-nodir))))))))
 956
 957 (add-to-list
 958  'safe-local-variable-values
 959  '(eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))
 960 #+end_src
 961
 962 *** [[https://magit.vc/][Magit]]
 963
 964 #+begin_quote
 965 It's Magit! A Git porcelain inside Emacs.
 966 #+end_quote
 967
 968 Not just how I do git, but /the/ way to do git.
 969
 970 #+begin_src emacs-lisp
 971 (use-package magit
 972   :defer 2
 973   :general (amin--leader-keys "g s" 'magit-status)
 974   :bind ("s-g" . magit-status)
 975   :config
 976   (magit-add-section-hook 'magit-status-sections-hook
 977                           'magit-insert-modules
 978                           'magit-insert-stashes
 979                           'append)
 980   (setq
 981    magit-repository-directories '(("~/.emacs.d/" . 0)
 982                                   ("~/src/git/" . 1)))
 983   (push (cons [unpushed status] 'show) magit-section-initial-visibility-alist)
 984   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 985 #+end_src
 986
 987 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
 988
 989 #+begin_quote
 990 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
 991 an overview, and more. Oh, man!
 992 #+end_quote
 993
 994 There's no way I could top that, so I won't attempt to.
 995
 996 **** Ivy
 997
 998 #+begin_src emacs-lisp
 999 (use-package ivy
1000   :defer 1
1001   :general (amin--leader-keys "," 'ivy-switch-buffer)
1002   :bind
1003   (:map ivy-minibuffer-map
1004    ([escape] . keyboard-escape-quit)
1005    ([S-up]   . ivy-previous-history-element)
1006    ([S-down] . ivy-next-history-element)
1007    ("DEL"    . ivy-backward-delete-char))
1008   :config
1009   (setq ivy-wrap t)
1010   (ivy-mode 1)
1011   :custom-face
1012   (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
1013   (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
1014   (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold)))))
1015 #+end_src
1016
1017 **** Swiper
1018
1019 #+begin_src emacs-lisp
1020 (use-package swiper
1021   :general (:states '(normal motion) "/" 'swiper)
1022   :bind (("C-s" . swiper)
1023          ("C-r" . swiper)))
1024 #+end_src
1025
1026 **** Counsel
1027
1028 #+begin_src emacs-lisp
1029 (use-package counsel
1030   :defer 1
1031   :general
1032   (amin--leader-keys
1033     "r" 'counsel-recentf
1034     "SPC" 'counsel-M-x
1035     "."   'counsel-find-file)
1036   :bind (([remap execute-extended-command] . counsel-M-x)
1037          ([remap find-file]                . counsel-find-file)
1038          ("s-r"                            . counsel-recentf)
1039          ("C-c x"                          . counsel-M-x)
1040          ("C-c f ."                        . counsel-find-file)
1041          :map minibuffer-local-map
1042          ("C-r" . counsel-minibuffer-history))
1043   :config
1044   (counsel-mode 1)
1045   (defalias 'locate #'counsel-locate))
1046 #+end_src
1047
1048 *** eshell
1049
1050 #+begin_src emacs-lisp
1051 (use-package eshell
1052   :defer t
1053   :commands eshell
1054   :config
1055   (eval-when-compile (defvar eshell-prompt-regexp))
1056   (defun amin/eshell-quit-or-delete-char (arg)
1057     (interactive "p")
1058     (if (and (eolp) (looking-back eshell-prompt-regexp nil))
1059         (eshell-life-is-too-much)
1060       (delete-char arg)))
1061
1062   (defun amin/eshell-clear ()
1063     (interactive)
1064     (let ((inhibit-read-only t))
1065       (erase-buffer))
1066     (eshell-send-input))
1067
1068   (defun amin|eshell-setup ()
1069     (bind-keys :map eshell-mode-map
1070                ("C-d" . amin/eshell-quit-or-delete-char)
1071                ("C-l" . amin/eshell-clear)))
1072
1073   :hook (eshell-mode . amin|eshell-setup))
1074 #+end_src
1075
1076 *** Ibuffer
1077
1078 #+begin_src emacs-lisp
1079 (use-package ibuffer
1080   :defer t
1081   :general (amin--leader-keys "b b" 'ibuffer-other-window)
1082   :bind
1083   (("C-x C-b" . ibuffer-other-window)
1084    :map ibuffer-mode-map
1085    ("P"   . ibuffer-backward-filter-group)
1086    ("N"   . ibuffer-forward-filter-group)
1087    ("M-p" . ibuffer-do-print)
1088    ("M-n" . ibuffer-do-shell-command-pipe-replace))
1089   :config
1090   ;; Use human readable Size column instead of original one
1091   (define-ibuffer-column size-h
1092     (:name "Size" :inline t)
1093     (cond
1094      ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
1095      ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
1096      ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
1097      (t (format "%8d" (buffer-size)))))
1098   :custom
1099   (ibuffer-saved-filter-groups
1100    '(("default"
1101       ("dired" (mode . dired-mode))
1102       ("org"   (mode . org-mode))
1103       ("web"
1104        (or
1105         (mode . web-mode)
1106         (mode . css-mode)
1107         (mode . scss-mode)
1108         (mode . js2-mode)))
1109       ("shell"
1110        (or
1111         (mode . eshell-mode)
1112         (mode . shell-mode)))
1113       ("notmuch" (name . "\*notmuch\*"))
1114       ("programming"
1115        (or
1116         (mode . python-mode)
1117         (mode . c++-mode)
1118         (mode . emacs-lisp-mode)))
1119       ("emacs"
1120        (or
1121         (name . "^\\*scratch\\*$")
1122         (name . "^\\*Messages\\*$")))
1123       ("slack"
1124        (or
1125         (name . "^\\*Slack*"))))))
1126   (ibuffer-formats
1127    '((mark modified read-only locked " "
1128            (name 18 18 :left :elide)
1129            " "
1130            (size-h 9 -1 :right)
1131            " "
1132            (mode 16 16 :left :elide)
1133            " " filename-and-process)
1134      (mark " "
1135            (name 16 -1)
1136            " " filename)))
1137   :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
1138 #+end_src
1139
1140 *** Outline
1141
1142 #+begin_src emacs-lisp
1143 (use-package outline
1144   :defer t
1145   :hook (prog-mode . outline-minor-mode)
1146   :bind
1147   (:map
1148    outline-minor-mode-map
1149    ("<s-tab>"  . outline-toggle-children)
1150    ("M-p"      . outline-previous-visible-heading)
1151    ("M-n"      . outline-next-visible-heading)
1152    :prefix-map amin--outline-prefix-map
1153    :prefix "s-o"
1154    ("TAB" . outline-toggle-children)
1155    ("a"   . outline-hide-body)
1156    ("H"   . outline-hide-body)
1157    ("S"   . outline-show-all)
1158    ("h"   . outline-hide-subtree)
1159    ("s"   . outline-show-subtree)))
1160 #+end_src
1161
1162 * Borg's =layer/essentials=
1163
1164 TODO: break this giant source block down into individual org sections.
1165
1166 #+begin_src emacs-lisp
1167 (use-package dash
1168   :config (dash-enable-font-lock))
1169
1170 (use-package diff-hl
1171   :config
1172   (setq diff-hl-draw-borders nil)
1173   (global-diff-hl-mode)
1174   (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
1175
1176 (use-package dired
1177   :defer t
1178   :config (setq dired-listing-switches "-alh"))
1179
1180 (use-package eldoc
1181   :when (version< "25" emacs-version)
1182   :config (global-eldoc-mode))
1183
1184 (use-package help
1185   :defer t
1186   :config
1187   (temp-buffer-resize-mode)
1188   (setq help-window-select t))
1189
1190 (progn ;    `isearch'
1191   (setq isearch-allow-scroll t))
1192
1193 (use-package lisp-mode
1194   :config
1195   (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1196   (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1197   (defun indent-spaces-mode ()
1198     (setq indent-tabs-mode nil))
1199   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1200
1201 (use-package man
1202   :defer t
1203   :config (setq Man-width 80))
1204
1205 (use-package paren
1206   :config (show-paren-mode))
1207
1208 (use-package prog-mode
1209   :config (global-prettify-symbols-mode)
1210   (defun indicate-buffer-boundaries-left ()
1211     (setq indicate-buffer-boundaries 'left))
1212   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1213
1214 (use-package recentf
1215   :defer 0.5
1216   :config
1217   (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1218   (setq recentf-max-saved-items 40))
1219
1220 (use-package savehist
1221   :config (savehist-mode))
1222
1223 (use-package saveplace
1224   :when (version< "25" emacs-version)
1225   :config (save-place-mode))
1226
1227 (use-package simple
1228   :config (column-number-mode))
1229
1230 (progn ;    `text-mode'
1231   (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left))
1232
1233 (use-package tramp
1234   :defer t
1235   :config
1236   (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1237   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1238   (add-to-list 'tramp-default-proxies-alist
1239                (list (regexp-quote (system-name)) nil nil)))
1240
1241 (use-package undo-tree
1242   :bind (("C-?" . undo-tree-undo)
1243          ("M-_" . undo-tree-redo))
1244   :config
1245   (global-undo-tree-mode)
1246   (setq undo-tree-mode-lighter ""
1247         undo-tree-auto-save-history t))
1248 #+end_src
1249
1250 * Editing
1251
1252 ** Company
1253
1254 #+begin_src emacs-lisp
1255 (use-package company
1256   :defer 2
1257   :bind
1258   (:map company-active-map
1259         ([tab]    . company-complete-common-or-cycle)
1260         ([escape] . company-abort))
1261   :custom
1262   (company-idle-delay 0.3)
1263   (company-minimum-prefix-length 1)
1264   (company-selection-wrap-around t)
1265   (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1266   (company-dabbrev-downcase nil)
1267   (company-dabbrev-ignore-case nil)
1268   :config
1269   (global-company-mode t))
1270 #+end_src
1271
1272 * Syntax and spell checking
1273 #+begin_src emacs-lisp
1274 (use-package flycheck
1275   :defer 3
1276   :hook (prog-mode . flycheck-mode)
1277   :bind
1278   (:map flycheck-mode-map
1279         ("M-P" . flycheck-previous-error)
1280         ("M-N" . flycheck-next-error))
1281   :config
1282   ;; Use the load-path from running Emacs when checking elisp files
1283   (setq flycheck-emacs-lisp-load-path 'inherit)
1284
1285   ;; Only flycheck when I actually save the buffer
1286   (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1287
1288 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1289 (use-package ispell
1290   :defer 3
1291   :config
1292   ;; ’ can be part of a word
1293   (setq ispell-local-dictionary-alist
1294         `((nil "[[:alpha:]]" "[^[:alpha:]]"
1295                "['\x2019]" nil ("-B") nil utf-8)))
1296   ;; don't send ’ to the subprocess
1297   (defun endless/replace-apostrophe (args)
1298     (cons (replace-regexp-in-string
1299            "’" "'" (car args))
1300           (cdr args)))
1301   (advice-add #'ispell-send-string :filter-args
1302               #'endless/replace-apostrophe)
1303
1304   ;; convert ' back to ’ from the subprocess
1305   (defun endless/replace-quote (args)
1306     (if (not (derived-mode-p 'org-mode))
1307         args
1308       (cons (replace-regexp-in-string
1309              "'" "’" (car args))
1310             (cdr args))))
1311   (advice-add #'ispell-parse-output :filter-args
1312               #'endless/replace-quote))
1313 #+end_src
1314 * Programming modes
1315
1316 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1317
1318 #+begin_src emacs-lisp
1319 (use-package alloy-mode
1320   :defer t
1321   :config (setq alloy-basic-offset 2))
1322 #+end_src
1323
1324 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1325
1326 #+begin_src emacs-lisp
1327 (use-package proof-site  ; Proof General
1328   :defer t
1329   :load-path "lib/proof-site/generic/")
1330 #+end_src
1331
1332 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1333
1334 #+begin_src emacs-lisp
1335 (eval-when-compile (defvar lean-mode-map))
1336 (use-package lean-mode
1337   :defer 1
1338   :bind (:map lean-mode-map
1339               ("S-SPC" . company-complete))
1340   :config
1341   (require 'lean-input)
1342   (setq default-input-method "Lean"
1343         lean-input-tweak-all '(lean-input-compose
1344                                (lean-input-prepend "/")
1345                                (lean-input-nonempty))
1346         lean-input-user-translations '(("/" "/")))
1347   (lean-input-setup))
1348   #+end_src
1349
1350 ** Haskell
1351
1352 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1353
1354 #+begin_src emacs-lisp
1355 (use-package haskell-mode
1356   :defer t
1357   :config
1358   (setq haskell-indentation-layout-offset 4
1359         haskell-indentation-left-offset 4
1360         flycheck-checker 'haskell-hlint
1361         flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1362 #+end_src
1363
1364 *** [[https://github.com/jyp/dante][dante]]
1365
1366 #+begin_src emacs-lisp
1367 (use-package dante
1368   :after haskell-mode
1369   :commands dante-mode
1370   :hook (haskell-mode . dante-mode))
1371 #+end_src
1372
1373 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1374
1375 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1376 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1377
1378 #+begin_src emacs-lisp
1379 (use-package hlint-refactor
1380   :after haskell-mode
1381   :bind (:map hlint-refactor-mode-map
1382               ("C-c l b" . hlint-refactor-refactor-buffer)
1383               ("C-c l r" . hlint-refactor-refactor-at-point))
1384   :hook (haskell-mode . hlint-refactor-mode))
1385 #+end_src
1386
1387 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1388
1389 #+begin_src emacs-lisp
1390 (use-package flycheck-haskell
1391   :after haskell-mode)
1392 #+end_src
1393
1394 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1395 :PROPERTIES:
1396 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1397 :END:
1398
1399 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1400 instead.
1401
1402 #+begin_src emacs-lisp :tangle no
1403 ;;; hs-lint.el --- minor mode for HLint code checking
1404
1405 ;; Copyright 2009 (C) Alex Ott
1406 ;;
1407 ;; Author: Alex Ott <alexott@gmail.com>
1408 ;; Keywords: haskell, lint, HLint
1409 ;; Requirements:
1410 ;; Status: distributed under terms of GPL2 or above
1411
1412 ;; Typical message from HLint looks like:
1413 ;;
1414 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1415 ;; Found:
1416 ;;   count1 p l = length (filter p l)
1417 ;; Why not:
1418 ;;   count1 p = length . filter p
1419
1420
1421 (require 'compile)
1422
1423 (defgroup hs-lint nil
1424   "Run HLint as inferior of Emacs, parse error messages."
1425   :group 'tools
1426   :group 'haskell)
1427
1428 (defcustom hs-lint-command "hlint"
1429   "The default hs-lint command for \\[hlint]."
1430   :type 'string
1431   :group 'hs-lint)
1432
1433 (defcustom hs-lint-save-files t
1434   "Save modified files when run HLint or no (ask user)"
1435   :type 'boolean
1436   :group 'hs-lint)
1437
1438 (defcustom hs-lint-replace-with-suggestions nil
1439   "Replace user's code with suggested replacements"
1440   :type 'boolean
1441   :group 'hs-lint)
1442
1443 (defcustom hs-lint-replace-without-ask nil
1444   "Replace user's code with suggested replacements automatically"
1445   :type 'boolean
1446   :group 'hs-lint)
1447
1448 (defun hs-lint-process-setup ()
1449   "Setup compilation variables and buffer for `hlint'."
1450   (run-hooks 'hs-lint-setup-hook))
1451
1452 ;; regex for replace suggestions
1453 ;;
1454 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1455 ;; Found:
1456 ;; \s +\(.*\)
1457 ;; Why not:
1458 ;; \s +\(.*\)
1459
1460 (defvar hs-lint-regex
1461   "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1462   "Regex for HLint messages")
1463
1464 (defun make-short-string (str maxlen)
1465   (if (< (length str) maxlen)
1466       str
1467     (concat (substring str 0 (- maxlen 3)) "...")))
1468
1469 (defun hs-lint-replace-suggestions ()
1470   "Perform actual replacement of suggestions"
1471   (goto-char (point-min))
1472   (while (re-search-forward hs-lint-regex nil t)
1473     (let* ((fname (match-string 1))
1474           (fline (string-to-number (match-string 2)))
1475           (old-code (match-string 4))
1476           (new-code (match-string 5))
1477           (msg (concat "Replace '" (make-short-string old-code 30)
1478                        "' with '" (make-short-string new-code 30) "'"))
1479           (bline 0)
1480           (eline 0)
1481           (spos 0)
1482           (new-old-code ""))
1483       (save-excursion
1484         (switch-to-buffer (get-file-buffer fname))
1485         (goto-char (point-min))
1486         (forward-line (1- fline))
1487         (beginning-of-line)
1488         (setf bline (point))
1489         (when (or hs-lint-replace-without-ask
1490                   (yes-or-no-p msg))
1491           (end-of-line)
1492           (setf eline (point))
1493           (beginning-of-line)
1494           (setf old-code (regexp-quote old-code))
1495           (while (string-match "\\\\ " old-code spos)
1496             (setf new-old-code (concat new-old-code
1497                                  (substring old-code spos (match-beginning 0))
1498                                  "\\ *"))
1499             (setf spos (match-end 0)))
1500           (setf new-old-code (concat new-old-code (substring old-code spos)))
1501           (remove-text-properties bline eline '(composition nil))
1502           (when (re-search-forward new-old-code eline t)
1503             (replace-match new-code nil t)))))))
1504
1505 (defun hs-lint-finish-hook (buf msg)
1506   "Function, that is executed at the end of HLint execution"
1507   (if hs-lint-replace-with-suggestions
1508       (hs-lint-replace-suggestions)
1509       (next-error 1 t)))
1510
1511 (define-compilation-mode hs-lint-mode "HLint"
1512   "Mode for check Haskell source code."
1513   (set (make-local-variable 'compilation-process-setup-function)
1514        'hs-lint-process-setup)
1515   (set (make-local-variable 'compilation-disable-input) t)
1516   (set (make-local-variable 'compilation-scroll-output) nil)
1517   (set (make-local-variable 'compilation-finish-functions)
1518        (list 'hs-lint-finish-hook))
1519   )
1520
1521 (defun hs-lint ()
1522   "Run HLint for current buffer with haskell source"
1523   (interactive)
1524   (save-some-buffers hs-lint-save-files)
1525   (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1526                      'hs-lint-mode))
1527
1528 (provide 'hs-lint)
1529 ;;; hs-lint.el ends here
1530 #+end_src
1531
1532 #+begin_src emacs-lisp :tangle no
1533 (use-package hs-lint
1534   :load-path "lisp/"
1535   :bind (:map haskell-mode-map
1536               ("C-c l l" . hs-lint)))
1537 #+end_src
1538
1539 ** Web dev
1540
1541 *** SGML and HTML
1542
1543 #+begin_src emacs-lisp
1544 (use-package sgml-mode
1545   :defer t
1546   :config
1547   (setq sgml-basic-offset 2))
1548 #+end_src
1549
1550 *** CSS and SCSS
1551
1552 #+begin_src emacs-lisp
1553 (use-package css-mode
1554   :defer t
1555   :config
1556   (setq css-indent-offset 2))
1557 #+end_src
1558
1559 *** Web mode
1560
1561 #+begin_src emacs-lisp
1562 (use-package web-mode
1563   :defer t
1564   :mode "\\.html\\'"
1565   :config
1566   (setq-every! 2
1567     web-mode-code-indent-offset
1568     web-mode-css-indent-offset
1569     web-mode-markup-indent-offset))
1570 #+end_src
1571
1572 *** Emmet mode
1573
1574 #+begin_src emacs-lisp
1575 (use-package emmet-mode
1576   :after (:any web-mode css-mode sgml-mode)
1577   :bind* (("C-)" . emmet-next-edit-point)
1578           ("C-(" . emmet-prev-edit-point))
1579   :config
1580   (unbind-key "C-j" emmet-mode-keymap)
1581   (setq emmet-move-cursor-between-quotes t)
1582   :hook (web-mode css-mode html-mode sgml-mode))
1583 #+end_src
1584
1585 ** Nix
1586
1587 #+begin_src emacs-lisp
1588 (use-package nix-mode
1589   :defer t
1590   :mode "\\.nix\\'")
1591 #+end_src
1592
1593 ** Java
1594
1595 *** meghanada
1596
1597 #+begin_src emacs-lisp :tangle no
1598 (use-package meghanada
1599   :bind
1600   (:map meghanada-mode-map
1601         (("C-M-o" . meghanada-optimize-import)
1602          ("C-M-t" . meghanada-import-all)))
1603   :hook (java-mode . meghanada-mode))
1604 #+end_src
1605
1606 *** lsp-java
1607
1608 #+begin_comment
1609 dependencies:
1610
1611 ace-window
1612 avy
1613 bui
1614 company-lsp
1615 dap-mode
1616 lsp-java
1617 lsp-mode
1618 lsp-ui
1619 pfuture
1620 tree-mode
1621 treemacs
1622 #+end_comment
1623
1624 #+begin_src emacs-lisp :tangle no
1625 (use-package treemacs
1626   :config (setq treemacs-never-persist t))
1627
1628 (use-package yasnippet
1629   :config
1630   ;; (yas-global-mode)
1631   )
1632
1633 (use-package lsp-mode
1634   :init (setq lsp-eldoc-render-all nil
1635               lsp-highlight-symbol-at-point nil)
1636   )
1637
1638 (use-package hydra)
1639
1640 (use-package company-lsp
1641   :after  company
1642   :config
1643   (setq company-lsp-cache-candidates t
1644         company-lsp-async t))
1645
1646 (use-package lsp-ui
1647   :config
1648   (setq lsp-ui-sideline-update-mode 'point))
1649
1650 (use-package lsp-java
1651   :config
1652   (add-hook 'java-mode-hook
1653             (lambda ()
1654               (setq-local company-backends (list 'company-lsp))))
1655
1656   (add-hook 'java-mode-hook 'lsp-java-enable)
1657   (add-hook 'java-mode-hook 'flycheck-mode)
1658   (add-hook 'java-mode-hook 'company-mode)
1659   (add-hook 'java-mode-hook 'lsp-ui-mode))
1660
1661 (use-package dap-mode
1662   :after lsp-mode
1663   :config
1664   (dap-mode t)
1665   (dap-ui-mode t))
1666
1667 (use-package dap-java
1668   :after (lsp-java))
1669
1670 (use-package lsp-java-treemacs
1671   :after (treemacs))
1672 #+end_src
1673
1674 * Emacs Enhancements
1675
1676 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1677
1678 #+begin_quote
1679 Emacs package that displays available keybindings in popup
1680 #+end_quote
1681
1682 #+begin_src emacs-lisp
1683 (use-package which-key
1684   :defer 1
1685   :config (which-key-mode))
1686 #+end_src
1687
1688 ** [[https://github.com/Malabarba/smart-mode-line][smart-mode-line]]
1689
1690 #+begin_src emacs-lisp
1691 (use-package smart-mode-line
1692   :config
1693   (sml/setup)
1694   ;; (sml/apply-theme 'light)
1695   (remove-hook 'display-time-hook 'sml/propertize-time-string))
1696 #+end_src
1697
1698 ** [[https://github.com/bbatsov/crux][crux]]
1699
1700 #+begin_src emacs-lisp
1701 (use-package crux
1702   :defer 1
1703   :general
1704   (amin--leader-keys
1705     "b K" 'crux-kill-other-buffers
1706     "c d" 'crux-duplicate-current-line-or-region
1707     "c D" 'crux-duplicate-and-comment-current-line-or-region
1708     "f c" 'crux-copy-file-preserve-attributes
1709     "f d" 'crux-delete-file-and-buffer
1710     "f r" 'crux-rename-file-and-buffer)
1711   :bind (("C-c d" . crux-duplicate-current-line-or-region)
1712          ("C-c D" . crux-duplicate-and-comment-current-line-or-region)
1713          ("C-S-j" . crux-top-join-line)
1714          ("C-c j" . crux-top-join-line)))
1715 #+end_src
1716
1717 ** [[https://github.com/alezost/mwim.el][mwim]]
1718
1719 #+begin_src emacs-lisp
1720 (use-package mwim
1721   :general
1722   (:states '(normal visual)
1723            "0" 'mwim-beginning-of-code-or-line
1724            "$" 'mwim-end-of-code-or-line)
1725   :bind (("C-a"    . mwim-beginning-of-code-or-line)
1726          ("C-e"    . mwim-end-of-code-or-line)
1727          ("<home>" . mwim-beginning-of-line-or-code)
1728          ("<end>"  . mwim-end-of-line-or-code)))
1729 #+end_src
1730
1731 ** projectile
1732
1733 #+begin_src emacs-lisp
1734 (use-package projectile
1735   :defer 2
1736   :bind-keymap ("C-c p" . projectile-command-map)
1737   :config
1738   (projectile-mode)
1739
1740   (defun my-projectile-invalidate-cache (&rest _args)
1741     ;; ignore the args to `magit-checkout'
1742     (projectile-invalidate-cache nil))
1743
1744   (eval-after-load 'magit-branch
1745     '(progn
1746        (advice-add 'magit-checkout
1747                    :after #'my-projectile-invalidate-cache)
1748        (advice-add 'magit-branch-and-checkout
1749                    :after #'my-projectile-invalidate-cache))))
1750 #+end_src
1751
1752 ** [[https://github.com/Wilfred/helpful][helpful]]
1753
1754 #+begin_src emacs-lisp
1755 (use-package helpful
1756   :defer 1
1757   :general
1758   (amin--leader-keys
1759     "h h"   '(:ignore t :wk "helpful")
1760     "h h c" 'helpful-command
1761     "h h f" 'helpful-callable           ; helpful-function
1762     "h h v" 'helpful-variable
1763     "h h k" 'helpful-key
1764     "h h p" 'helpful-at-point))
1765 #+end_src
1766
1767 ** [[https://github.com/kyagi/shell-pop-el][shell-pop]]
1768
1769 #+begin_src emacs-lisp
1770 (use-package shell-pop
1771   :defer 1
1772   :init
1773   (setq shell-pop-universal-key "C-c e"
1774         shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
1775 #+end_src
1776
1777 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1778
1779 Make =*scratch*= and =*Messages*= unkillable.
1780
1781 #+begin_src emacs-lisp
1782 (use-package unkillable-scratch
1783   :defer 3
1784   :config
1785   (unkillable-scratch 1)
1786   :custom
1787   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1788 #+end_src
1789
1790 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1791
1792 #+begin_example
1793 ,----
1794 | make pretty boxed quotes like this
1795 `----
1796 #+end_example
1797
1798 #+begin_src emacs-lisp
1799 (use-package boxquote
1800   :defer 3
1801   :bind
1802   (:prefix-map amin--boxquote-prefix-map
1803    :prefix "C-c q"
1804    ("b"   . boxquote-buffer)
1805    ("B"   . boxquote-insert-buffer)
1806    ("d"   . boxquote-defun)
1807    ("F"   . boxquote-insert-file)
1808    ("hf"  . boxquote-describe-function)
1809    ("hk"  . boxquote-describe-key)
1810    ("hv"  . boxquote-describe-variable)
1811    ("hw"  . boxquote-where-is)
1812    ("k"   . boxquote-kill)
1813    ("p"   . boxquote-paragraph)
1814    ("q"   . boxquote-boxquote)
1815    ("r"   . boxquote-region)
1816    ("s"   . boxquote-shell-command)
1817    ("t"   . boxquote-text)
1818    ("T"   . boxquote-title)
1819    ("u"   . boxquote-unbox)
1820    ("U"   . boxquote-unbox-region)
1821    ("y"   . boxquote-yank)
1822    ("M-q" . boxquote-fill-paragraph)
1823    ("M-w" . boxquote-kill-ring-save)))
1824 #+end_src
1825
1826 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1827
1828 ** COMMENT [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]                                 :ARCHIVE:
1829
1830 #+begin_src emacs-lisp
1831 (use-package highlight-indent-guides
1832   :defer 3
1833   :hook ((prog-mode . highlight-indent-guides-mode)
1834          ;; (org-mode  . highlight-indent-guides-mode)
1835          )
1836   :config
1837   (setq highlight-indent-guides-character ?\|)
1838   (setq highlight-indent-guides-auto-enabled nil)
1839   (setq highlight-indent-guides-method 'character)
1840   (setq highlight-indent-guides-responsive 'top)
1841   (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1842   (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1843 #+end_src
1844
1845 ** pdf-tools
1846
1847 #+begin_src emacs-lisp
1848 (use-package pdf-tools
1849   :defer t
1850   :magic ("%PDF" . pdf-view-mode)
1851   :config
1852   (setq pdf-view-resize-factor 1.05)
1853   (pdf-tools-install)
1854   :bind
1855   (:map pdf-view-mode-map
1856         ("C-s" . isearch-forward)
1857         ("C-r" . isearch-backward)
1858         ("j"   . pdf-view-next-line-or-next-page)
1859         ("k"   . pdf-view-previous-line-or-previous-page)
1860         ("h"   . image-backward-hscroll)
1861         ("l"   . image-forward-hscroll)))
1862 #+end_src
1863
1864 ** anzu
1865
1866 #+begin_src emacs-lisp
1867 (use-package anzu)
1868 #+end_src
1869
1870 ** typo.el
1871
1872 #+begin_src emacs-lisp
1873 (use-package typo
1874   :defer 2
1875   :config
1876   (typo-global-mode 1)
1877   :hook (text-mode . typo-mode))
1878 #+end_src
1879
1880 ** slack
1881
1882 Hopefully temporary.
1883
1884 #+begin_src emacs-lisp
1885 (use-package slack
1886   :commands (slack-start)
1887   :init
1888   (eval-when-compile                    ; silence the byte-compiler
1889     (defvar url-http-data nil)
1890     (defvar url-http-extra-headers nil)
1891     (defvar url-http-method nil)
1892     (defvar url-callback-function nil)
1893     (defvar url-callback-arguments nil)
1894     (defvar oauth--token-data nil))
1895   (setq slack-buffer-emojify t
1896         slack-prefer-current-team t)
1897   :config
1898   (slack-register-team
1899    :name "uw-apv"
1900    :default t
1901    :client-id uw-apv-client-id
1902    :client-secret uw-apv-client-secret
1903    :token uw-apv-token
1904    :subscribed-channels '(general)
1905    :full-and-display-names t)
1906   (slack-register-team
1907    :name "watform"
1908    :default nil
1909    :client-id watform-client-id
1910    :client-secret watform-client-secret
1911    :token watform-token
1912    :subscribed-channels '(general)
1913    :full-and-display-names t)
1914   (add-to-list 'swiper-font-lock-exclude 'slack-message-buffer-mode t)
1915   (setq lui-time-stamp-format "[%Y-%m-%d %H:%M:%S]"
1916         lui-time-stamp-only-when-changed-p t
1917         lui-time-stamp-position 'right)
1918   :bind
1919   (("C-c s s" . slack-start)
1920    ("C-c s u" . slack-select-unread-rooms)
1921    ("C-c s b" . slack-select-rooms)
1922    ("C-c s t" . slack-change-current-team)
1923    ("C-c s c" . slack-ws-close)
1924    :map slack-mode-map
1925    ("M-p"     . slack-buffer-goto-prev-message)
1926    ("M-n"     . slack-buffer-goto-next-message)
1927    ("C-c e"   . slack-message-edit)
1928    ("C-c k"   . slack-message-delete)
1929    ("C-c C-k" . slack-channel-leave)
1930    ("C-c r a" . slack-message-add-reaction)
1931    ("C-c r r" . slack-message-remove-reaction)
1932    ("C-c r s" . slack-message-show-reaction-users)
1933    ("C-c p l" . slack-room-pins-list)
1934    ("C-c p a" . slack-message-pins-add)
1935    ("C-c p r" . slack-message-pins-remove)
1936    ("@"       . slack-message-embed-mention)
1937    ("#"       . slack-message-embed-channel)))
1938
1939 (use-package alert
1940   :commands (alert)
1941   :init
1942   (setq alert-default-style 'notifier))
1943 #+end_src
1944
1945 ** hl-todo
1946
1947 #+begin_src emacs-lisp
1948 (use-package hl-todo
1949   :defer 4
1950   :config
1951   (global-hl-todo-mode))
1952 #+end_src
1953
1954 ** shrink-path
1955
1956 #+begin_src emacs-lisp
1957 (use-package shrink-path
1958   :after eshell
1959   :config
1960   (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
1961         eshell-prompt-function #'+eshell/prompt)
1962
1963   (defun +eshell/prompt ()
1964     (let ((base/dir (shrink-path-prompt default-directory)))
1965       (concat (propertize (car base/dir)
1966                           'face 'font-lock-comment-face)
1967               (propertize (cdr base/dir)
1968                           'face 'font-lock-constant-face)
1969               (propertize (+eshell--current-git-branch)
1970                           'face 'font-lock-function-name-face)
1971               "\n"
1972               (propertize "λ" 'face 'eshell-prompt-face)
1973               ;; needed for the input text to not have prompt face
1974               (propertize " " 'face 'default))))
1975
1976   (defun +eshell--current-git-branch ()
1977     (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
1978                              when (string-match "^\*" match)
1979                              collect match))))
1980       (if (not (eq branch nil))
1981           (concat " " (substring branch 2))
1982         ""))))
1983 #+end_src
1984
1985 ** magithub
1986
1987 For when I /have to/ use GH.
1988
1989 #+begin_src emacs-lisp
1990 (use-package magithub
1991   :after magit
1992   :config
1993   (magithub-feature-autoinject t)
1994   (setq magithub-clone-default-directory "~/src/git"))
1995 #+end_src
1996
1997 ** [[https://github.com/peterwvj/eshell-up][eshell-up]]
1998
1999 #+begin_src emacs-lisp
2000 (use-package eshell-up
2001   :after eshell)
2002 #+end_src
2003
2004 * Email
2005
2006 #+begin_src emacs-lisp
2007 (defvar amin-maildir (expand-file-name "~/mail/"))
2008 (after! recentf
2009   (add-to-list 'recentf-exclude amin-maildir))
2010 #+end_src
2011
2012 ** Gnus
2013
2014 #+begin_src emacs-lisp
2015 (setq
2016  amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
2017  mail-user-agent     'gnus-user-agent
2018  read-mail-command   'gnus)
2019
2020 (use-package gnus
2021   :general
2022   (amin--leader-keys
2023     "m" 'gnus
2024     "M" 'gnus-unplugged)
2025   :bind (("s-m" . gnus)
2026          ("s-M" . gnus-unplugged))
2027   :init
2028   (setq
2029    gnus-select-method '(nnnil "")
2030    gnus-secondary-select-methods
2031    '((nnimap "amin"
2032             (nnimap-stream plain)
2033             (nnimap-address "127.0.0.1")
2034             (nnimap-server-port 143)
2035             (nnimap-authenticator plain)
2036             (nnimap-user "amin@aminb.org"))
2037      (nnimap "uwaterloo"
2038              (nnimap-stream plain)
2039              (nnimap-address "127.0.0.1")
2040              (nnimap-server-port 143)
2041              (nnimap-authenticator plain)
2042              (nnimap-user "abandali@uwaterloo.ca")))
2043    gnus-message-archive-group "nnimap:Sent"
2044    gnus-parameters
2045    '(("gnu.*"
2046       (gcc-self . t)))
2047    gnus-large-newsgroup  50
2048    gnus-home-directory   (no-littering-expand-var-file-name "gnus/")
2049    gnus-directory        (concat gnus-home-directory "news/")
2050    message-directory     (concat gnus-home-directory "mail/")
2051    nndraft-directory     (concat gnus-home-directory "drafts/")
2052    gnus-save-newsrc-file nil
2053    gnus-read-newsrc-file nil
2054    gnus-interactive-exit nil
2055    gnus-gcc-mark-as-read t))
2056
2057 (use-package gnus-art
2058   :config
2059   (setq
2060    gnus-visible-headers
2061    (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
2062    gnus-sorted-header-list
2063    '("^From:" "^Subject:" "^Summary:" "^Keywords:"
2064      "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
2065      "^Newsgroups:" "List-Id:" "^Organization:"
2066      "^User-Agent:" "^Date:")
2067   ;; local-lapsed article dates
2068   ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
2069   gnus-article-date-headers '(user-defined)
2070   gnus-article-time-format
2071   (lambda (time)
2072     (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
2073            (local (article-make-date-line date 'local))
2074            (combined-lapsed (article-make-date-line date
2075                                                     'combined-lapsed))
2076            (lapsed (progn
2077                      (string-match " (.+" combined-lapsed)
2078                      (match-string 0 combined-lapsed))))
2079       (concat local lapsed))))
2080   (bind-keys
2081    :map gnus-article-mode-map
2082    ("r"   . gnus-article-reply-with-original)
2083    ("R"   . gnus-article-wide-reply-with-original)
2084    ("M-L" . org-store-link)))
2085
2086 (use-package gnus-sum
2087   :bind (:map gnus-summary-mode-map
2088               :prefix-map amin--gnus-summary-prefix-map
2089               :prefix "v"
2090               ("r" . gnus-summary-reply)
2091               ("w" . gnus-summary-wide-reply)
2092               ("v" . gnus-summary-show-raw-article))
2093   :config
2094   (bind-keys
2095    :map gnus-summary-mode-map
2096    ("r"   . gnus-summary-reply-with-original)
2097    ("R"   . gnus-summary-wide-reply-with-original)
2098    ("M-L" . org-store-link)))
2099
2100 (use-package gnus-msg
2101   :config
2102   (setq gnus-posting-styles
2103         '((".*"
2104            (address "amin@aminb.org")
2105            (body "\nBest,\namin\n"))
2106           ("gnu.*"
2107            (address "bandali@gnu.org"))
2108           ((header "subject" "ThankCRM")
2109            (to "webmasters-comment@gnu.org"))
2110           ("nnimap\\+uwaterloo:.*"
2111            (address "abandali@uwaterloo.ca")
2112            (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
2113
2114 (use-package gnus-topic
2115   :hook (gnus-group-mode . gnus-topic-mode))
2116
2117 (use-package gnus-agent
2118   :config
2119   (setq gnus-agent-synchronize-flags 'ask)
2120   :hook (gnus-group-mode . gnus-agent-mode))
2121
2122 (use-package gnus-group
2123   :config
2124   (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
2125
2126 (use-package mm-decode
2127   :config
2128   (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
2129 #+end_src
2130
2131 ** sendmail
2132
2133 #+begin_src emacs-lisp
2134 (use-package sendmail
2135   :config
2136   (setq sendmail-program "/usr/bin/msmtp"
2137         ;; message-sendmail-extra-arguments '("-v" "-d")
2138         mail-specify-envelope-from t
2139         mail-envelope-from 'header))
2140 #+end_src
2141
2142 ** message
2143
2144 #+begin_src emacs-lisp
2145 (use-package message
2146   :config
2147   (defconst message-cite-style-bandali
2148     '((message-cite-function  'message-cite-original)
2149       (message-citation-line-function  'message-insert-formatted-citation-line)
2150       (message-cite-reply-position 'traditional)
2151       (message-yank-prefix  "> ")
2152       (message-yank-cited-prefix  ">")
2153       (message-yank-empty-prefix  ">")
2154       (message-citation-line-format "Hi %F,\n\nOn %Y-%m-%d %l:%M %p, %N wrote:"))
2155     "Citation style based on Mozilla Thunderbird's. Use with message-cite-style.")
2156   (setq message-cite-style 'message-cite-style-bandali
2157         message-kill-buffer-on-exit t
2158         message-send-mail-function 'message-send-mail-with-sendmail
2159         message-sendmail-envelope-from 'header
2160         message-dont-reply-to-names
2161         "\\(\\(.*@aminb\\.org\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
2162         message-user-fqdn "aminb.org")
2163   :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
2164          (message-mode . flyspell-mode)
2165          (message-mode . (lambda () (setq fill-column 65
2166                                      message-fill-column 65))))
2167   :custom-face
2168   (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
2169   (message-header-to      ((t (:foreground "#111" :weight normal))))
2170   (message-header-cc      ((t (:foreground "#333" :weight normal)))))
2171
2172 (after! mml-sec
2173   (setq mml-secure-openpgp-encrypt-to-self t
2174         mml-secure-openpgp-sign-with-sender t))
2175 #+end_src
2176
2177 ** footnote
2178
2179 Convenient footnotes in =message-mode=.
2180
2181 #+begin_src emacs-lisp
2182 (use-package footnote
2183   :after message
2184   :bind
2185   (:map message-mode-map
2186         :prefix-map amin--footnote-prefix-map
2187         :prefix "C-c f"
2188         ("a" . footnote-add-footnote)
2189         ("b" . footnote-back-to-message)
2190         ("c" . footnote-cycle-style)
2191         ("d" . footnote-delete-footnote)
2192         ("g" . footnote-goto-footnote)
2193         ("r" . footnote-renumber-footnotes)
2194         ("s" . footnote-set-style))
2195   :config
2196   (setq footnote-start-tag ""
2197         footnote-end-tag   ""
2198         footnote-style     'unicode))
2199 #+end_src
2200
2201 ** COMMENT supercite
2202
2203 #+begin_src emacs-lisp
2204 (use-package supercite
2205   :after message
2206   :init
2207   (setq sc-nested-citation-p t
2208         ;; sc-cite-blank-lines-p t
2209         sc-citation-leader ""
2210         sc-reference-tag-string ""
2211         sc-preferred-header-style 5     ; (sc-header-author-writes)
2212         sc-auto-fill-region-p nil
2213         sc-confirm-always-p nil)
2214   :config
2215   ;;   (defun amin--sc-header-on-wrote ()
2216   ;;     "\"On <date>, <sc-author> wrote:\" unless:
2217   ;; 1. the \"sc-author\" field cannot be found, in which case nothing is inserted;
2218   ;; 2. the \"date\" field is missing in which case only the from part is printed."
2219   ;;     (let ((sc-mumble "")
2220   ;;          (whofrom (sc-whofrom)))
2221   ;;       (if whofrom
2222   ;;          (insert sc-reference-tag-string
2223   ;;                      (sc-hdr "On " (sc-mail-field "date") ", ")
2224   ;;                      (sc-hdr "" (sc-mail-field "sc-author")) " wrote:\n"))))
2225   ;;   (defun amin--sc-header ()
2226   ;;     "Hi <firstname>,\n\n <from> writes:"
2227   ;;     (let ((sc-mumble "")
2228   ;;          (whofrom (sc-whofrom)))
2229   ;;       (if whofrom
2230   ;;          (insert (sc-hdr "Hi " (sc-mail-field "sc-firstname") ",\n\n")
2231   ;;                   sc-reference-tag-string
2232   ;;                      whofrom
2233   ;;                      " writes:\n"))))
2234   ;; (add-to-list 'sc-rewrite-header-list '(amin--sc-header) t)
2235   ;; (add-to-list 'sc-rewrite-header-list '(amin--sc-header-on-wrote) t)
2236   ;; (setq sc-preferred-header-style (1- (length sc-rewrite-header-list)))
2237   (add-hook 'mail-citation-hook 'sc-cite-original))
2238 #+end_src
2239
2240 ** ebdb
2241
2242 #+begin_src emacs-lisp
2243 (use-package ebdb
2244   :defer 1
2245   :bind (:map gnus-group-mode-map ("e" . ebdb))
2246   :config
2247   (setq ebdb-sources (no-littering-expand-var-file-name "ebdb")))
2248
2249 (use-package ebdb-com
2250   :after ebdb)
2251
2252 (use-package ebdb-complete
2253   :after ebdb
2254   :config
2255   (ebdb-complete-enable))
2256
2257 (use-package ebdb-gnus
2258   :after ebdb)
2259
2260 (use-package ebdb-message
2261   :after ebdb)
2262
2263 ;; (use-package ebdb-vcard
2264 ;;   :after ebdb)
2265 #+end_src
2266
2267 ** COMMENT bbdb
2268
2269 #+begin_comment
2270 [submodule "bbdb"]
2271         path = lib/bbdb
2272         url = https://git.savannah.nongnu.org/git/bbdb.git
2273         load-path = lisp/elisp
2274         info-path = doc
2275         build-step = ./autogen.sh
2276         build-step = ./configure --with-lispdir=elisp
2277         build-step = make
2278         build-step = make install
2279 #+end_comment
2280
2281 #+begin_src emacs-lisp
2282 (use-package bbdb
2283   :init
2284   (bbdb-mua-auto-update-init 'message)
2285   (setq bbdb-mua-auto-update-p 'query)
2286   (add-hook 'gnus-startup-hook 'bbdb-insinuate-gnus))
2287 #+end_src
2288
2289 ** COMMENT message-x
2290
2291 #+begin_src emacs-lisp
2292 (use-package message-x
2293   :custom
2294   (message-x-completion-alist
2295    (quote
2296     (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
2297      ((if
2298           (boundp
2299            (quote message-newgroups-header-regexp))
2300           message-newgroups-header-regexp message-newsgroups-header-regexp)
2301       . message-expand-group)))))
2302 #+end_src
2303
2304 ** COMMENT gnus-harvest
2305
2306 #+begin_src emacs-lisp
2307 (use-package gnus-harvest
2308   :commands gnus-harvest-install
2309   :demand t
2310   :config
2311   (if (featurep 'message-x)
2312       (gnus-harvest-install 'message-x)
2313     (gnus-harvest-install)))
2314 #+end_src
2315
2316 ** COMMENT gnus-alias                                              :ARCHIVE:
2317
2318 #+begin_src emacs-lisp
2319 (use-package gnus-alias
2320   :commands (gnus-alias-determine-identity
2321              gnus-alias-select-identity)
2322   :bind (:map  message-mode-map
2323                ("s-i" . gnus-alias-select-identity))
2324   :config
2325   (setq
2326    gnus-alias-default-identity "amin"
2327    gnus-alias-identity-alist
2328    '(("amin"
2329       nil   ;; Does not refer to any other identity
2330       "Amin Bandali <amin@aminb.org>"
2331       nil   ;; Organization
2332       nil   ;; extra headers
2333       nil   ;; extra body text
2334       nil)  ;; signature file
2335      ("gnu"
2336       nil
2337       "Amin Bandali <bandali@gnu.org>"
2338       nil
2339       nil
2340       nil
2341       nil)
2342      ("uw"
2343       nil
2344       "Amin Bandali <abandali@uwaterloo.ca>"
2345       nil
2346       (("Gcc" . "\"nnimap+uwaterloo:Sent Items\""))
2347       nil
2348       nil))
2349    gnus-alias-identity-rules
2350    '(("amin" ("Delivered-To" "<amin\\@aminb\\.org" both) "amin")
2351      ("gnu" ("Delivered-To" "<gnu\\@aminb\\.org" both) "gnu")
2352      ("uw" ("any" "<\\(.+\\)\\@uwaterloo\\.ca" both) "uw"))
2353    gnus-alias-override-user-mail-address t)
2354   :hook (message-setup . gnus-alias-determine-identity))
2355 #+end_src
2356
2357 ** COMMENT [[https://notmuchmail.org][notmuch]]                                                 :ARCHIVE:
2358
2359 See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
2360
2361 #+begin_src emacs-lisp
2362 (defun amin/notmuch ()
2363   "Delete other windows, then launch `notmuch'."
2364   (interactive
2365    (when (equal current-prefix-arg nil)
2366      (delete-other-windows)))
2367   (notmuch))
2368
2369 (use-package notmuch
2370   :commands notmuch
2371   :bind ("C-c n" . amin/notmuch)
2372   :custom (notmuch-always-prompt-for-sender t)
2373   :config
2374   (setq notmuch-hello-sections
2375         '(notmuch-hello-insert-header
2376           notmuch-hello-insert-saved-searches
2377           ;; notmuch-hello-insert-search
2378           notmuch-hello-insert-alltags)
2379         notmuch-search-oldest-first nil
2380         notmuch-show-all-tags-list t
2381         notmuch-message-headers  ; see bug follow-up above
2382         '("Subject" "To" "Cc" "Date" "List-Id" "X-RT-Originator")
2383         notmuch-hello-thousands-separator ","
2384         notmuch-fcc-dirs
2385         '(("amin@aminb.org"        . "amin/Sent")
2386           ("bandali@gnu.org"       . "gnu/Sent")
2387           ("abandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
2388           ("mab@gnu.org"           . "gnu/Sent")
2389           ("amin@gnu.org"          . "gnu/Sent")
2390           ("aminb@gnu.org"         . "gnu/Sent")
2391           (".*"                    . "sent"))
2392         notmuch-search-result-format
2393         '(("date"    . "%12s ")
2394           ("count"   . "%-7s ")
2395           ("authors" . "%-40s ")
2396           ("subject" . "%s ")
2397           ("tags"    . "(%s)"))
2398         notmuch-saved-searches
2399         '((:name "inbox"     :query "tag:inbox"     :key "i")
2400           (:name "unread"    :query "tag:unread"    :key "u")
2401           (:name "latest"    :query "tag:latest"    :key "l")
2402           (:name "encrypted" :query "tag:encrypted" :key "e")
2403           (:name "flagged"   :query "tag:flagged"   :key "f")
2404           (:name "sent"      :query "tag:sent"      :key "s")
2405           (:name "drafts"    :query "tag:draft"     :key "d")
2406           (:name "all mail"  :query "*"             :key "a")))
2407   ;; (add-hook 'visual-fill-column-mode-hook
2408   ;;           (lambda ()
2409   ;;             (when (string= major-mode 'notmuch-message-mode)
2410   ;;               (setq visual-fill-column-width 70))))
2411   ;; (set! :evil-state 'notmuch-message-mode 'insert)
2412   ;; (advice-add #'notmuch-bury-or-kill-this-buffer
2413   ;;             :override #'kill-this-buffer)
2414   :hook (notmuch-message-mode . doom-modeline-set-special-modeline)
2415   :bind
2416   (:map notmuch-hello-mode-map
2417         ("u" . (lambda ()
2418                  "Search for `unread'-tagged messages"
2419                  (interactive)
2420                  (notmuch-hello-search "tag:unread")))
2421         ("i" . (lambda ()
2422                  "Search for `inbox'-tagged messages"
2423                  (interactive)
2424                  (notmuch-hello-search "tag:inbox")))
2425         ("l" . (lambda ()
2426                  "Search for `latest'-tagged messages"
2427                  (interactive)
2428                  (notmuch-hello-search "tag:latest")))
2429         ("e" . (lambda ()
2430                  "Search for `encrypted'-tagged messages"
2431                  (interactive)
2432                  (notmuch-hello-search "tag:encrypted"))))
2433   (:map notmuch-search-mode-map
2434         ("k" . (lambda ()
2435                  "Mark message read"
2436                  (interactive)
2437                  (notmuch-search-tag '("-unread"))
2438                  ;; (notmuch-search-archive-thread)
2439                  (notmuch-search-next-thread)))
2440         ("u" . (lambda ()
2441                  "Mark message unread"
2442                  (interactive)
2443                  (notmuch-search-tag '("+unread"))
2444                  (notmuch-search-next-thread)))
2445         ("K" . (lambda ()
2446                  "Mark message deleted"
2447                  (interactive)
2448                  (notmuch-search-tag '("-unread" "-inbox" "+deleted"))
2449                  (notmuch-search-next-thread)))
2450         ("S" . (lambda ()
2451                  "Mark message as spam"
2452                  (interactive)
2453                  (notmuch-search-tag '("-unread" "-inbox" "-webmasters" "+spam"))
2454                  (notmuch-search-next-thread))))
2455   (:map notmuch-tree-mode-map
2456         ("k" . (lambda ()
2457                  "Mark message read"
2458                  (interactive)
2459                  (notmuch-tree-tag '("-unread"))
2460                  ;; (notmuch-tree-archive-thread)
2461                  (notmuch-tree-next-message)))
2462         ("u" . (lambda ()
2463                  "Mark message unread"
2464                  (interactive)
2465                  (notmuch-tree-tag '("+unread"))
2466                  (notmuch-tree-next-message)))
2467         ("K" . (lambda ()
2468                  "Mark message deleted"
2469                  (interactive)
2470                  (notmuch-tree-tag '("-unread" "-inbox" "+deleted"))
2471                  (notmuch-tree-next-message)))
2472         ("S" . (lambda ()
2473                  "Mark message as spam"
2474                  (interactive)
2475                  (notmuch-tree-tag '("-unread" "-inbox" "-webmasters" "+spam"))
2476                  (notmuch-tree-next-message))))
2477   :custom-face
2478   (notmuch-search-unread-face ((t (:weight semi-bold))))
2479   (notmuch-tag-face ((t (:foreground "navy blue" :weight semi-bold)))))
2480
2481 (use-package counsel-notmuch
2482   :bind ("C-c s m" . counsel-notmuch))
2483
2484 (after! notmuch-crypto
2485   (setq notmuch-crypto-process-mime t))
2486
2487 (use-package org-notmuch
2488   :after (:any org notmuch))
2489 #+end_src
2490
2491 * Blogging
2492 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2493
2494 #+begin_src emacs-lisp
2495 (use-package ox-hugo
2496   :after ox)
2497
2498 (use-package ox-hugo-auto-export
2499   :load-path "lib/ox-hugo")
2500 #+end_src
2501
2502 * Post initialization
2503 :PROPERTIES:
2504 :CUSTOM_ID: post-initialization
2505 :END:
2506
2507 Display how long it took to load the init file.
2508
2509 #+begin_src emacs-lisp
2510 (message "Loading %s...done (%.3fs)" user-init-file
2511          (float-time (time-subtract (current-time)
2512                                     amin--before-user-init-time)))
2513 #+end_src
2514
2515 * Footer
2516 :PROPERTIES:
2517 :CUSTOM_ID: footer
2518 :END:
2519
2520 #+begin_src emacs-lisp :comments none
2521 ;;; init.el ends here
2522 #+end_src
2523
2524 * COMMENT Local Variables                                           :ARCHIVE:
2525 # Local Variables:
2526 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
2527 # End: