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