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