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

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