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

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