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 #+end_src
 248
 249 *** =use-package=
 250
 251 #+begin_quote
 252 A use-package declaration for simplifying your .emacs
 253 #+end_quote
 254
 255 [[https://github.com/jwiegley/use-package][use-package]] is an awesome utility for managing and configuring
 256 packages (in our case especially the latter) in a neatly organized way
 257 and without compromising on performance.
 258
 259 #+begin_src emacs-lisp
 260 (require 'use-package)
 261 (if nil  ; set to t when need to debug init
 262     (setq use-package-verbose t
 263           use-package-expand-minimally nil
 264           use-package-compute-statistics t
 265           debug-on-error t)
 266   (setq use-package-verbose nil
 267         use-package-expand-minimally t))
 268 #+end_src
 269
 270 *** Epkg
 271
 272 #+begin_quote
 273 Browse the Emacsmirror package database
 274 #+end_quote
 275
 276 Epkg provides access to a local copy of the [[https://emacsmirror.net][Emacsmirror]] package
 277 database, low-level functions for querying the database, and a
 278 =package.el=-like user interface for browsing the available packages.
 279
 280 #+begin_src emacs-lisp
 281 (use-package epkg
 282   :defer t
 283   :bind
 284   (("C-c B d" . epkg-describe-package)
 285    ("C-c B p" . epkg-list-packages)
 286    ("C-c B r" . borg-remove)
 287    ("C-c B u" . epkg-update)))
 288 #+end_src
 289
 290 ** No littering in =~/.emacs.d=
 291
 292 #+begin_quote
 293 Help keeping ~/.emacs.d clean
 294 #+end_quote
 295
 296 By default, even for Emacs' built-in packages, the configuration files
 297 and persistent data are all over the place. Use =no-littering= to help
 298 contain the mess.
 299
 300 #+begin_src emacs-lisp
 301 (use-package no-littering
 302   :demand t
 303   :config
 304   (savehist-mode 1)
 305   (add-to-list 'savehist-additional-variables 'kill-ring)
 306   (save-place-mode 1)
 307   (setq auto-save-file-name-transforms
 308         `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
 309 #+end_src
 310
 311 ** Custom file (=custom.el=)
 312
 313 I'm not planning on using the custom file much, but even so, I
 314 definitely don't want it mixing with =init.el=. So, here; let's give
 315 it it's own file. While at it, treat themes as safe.
 316
 317 #+begin_src emacs-lisp
 318 (use-package custom
 319   :no-require t
 320   :config
 321   (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
 322   (when (file-exists-p custom-file)
 323     (load custom-file))
 324   (setf custom-safe-themes t))
 325 #+end_src
 326
 327 ** Better =$PATH= handling
 328
 329 Let's use [[https://github.com/purcell/exec-path-from-shell][exec-path-from-shell]] to make Emacs use the =$PATH= as set up
 330 in my shell.
 331
 332 #+begin_src emacs-lisp
 333 (use-package exec-path-from-shell
 334   :defer 1
 335   :init
 336   (setq exec-path-from-shell-check-startup-files nil)
 337   :config
 338   (exec-path-from-shell-initialize)
 339   ;; while we're at it, let's fix access to our running ssh-agent
 340   (exec-path-from-shell-copy-env "SSH_AGENT_PID")
 341   (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
 342 #+end_src
 343
 344 ** Only one custom theme at a time
 345
 346 #+begin_src emacs-lisp
 347 (defadvice load-theme (before clear-previous-themes activate)
 348   "Clear existing theme settings instead of layering them"
 349   (mapc #'disable-theme custom-enabled-themes))
 350 #+end_src
 351
 352 ** Server
 353
 354 Start server if not already running. Alternatively, can be done by
 355 issuing =emacs --daemon= in the terminal, which can be automated with
 356 a systemd service or using =brew services start emacs= on macOS. I use
 357 Emacs as my window manager (via EXWM), so I always start Emacs on
 358 login; so starting the server from inside Emacs is good enough for me.
 359
 360 See [[https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server][Using Emacs as a Server]].
 361
 362 #+begin_src emacs-lisp
 363 (use-package server
 364   :config (or (server-running-p) (server-mode)))
 365 #+end_src
 366
 367 ** Unicode support
 368
 369 Font stack with better unicode support, around =Ubuntu Mono= and
 370 =Hack=.
 371
 372 #+begin_src emacs-lisp :tangle no
 373 (dolist (ft (fontset-list))
 374   (set-fontset-font
 375    ft
 376    'unicode
 377    (font-spec :name "Source Code Pro" :size 14))
 378   (set-fontset-font
 379    ft
 380    'unicode
 381    (font-spec :name "DejaVu Sans Mono")
 382    nil
 383    'append)
 384   ;; (set-fontset-font
 385   ;;  ft
 386   ;;  'unicode
 387   ;;  (font-spec
 388   ;;   :name "Symbola monospacified for DejaVu Sans Mono")
 389   ;;  nil
 390   ;;  'append)
 391   ;; (set-fontset-font
 392   ;;  ft
 393   ;;  #x2115  ; ℕ
 394   ;;  (font-spec :name "DejaVu Sans Mono")
 395   ;;  nil
 396   ;;  'append)
 397   (set-fontset-font
 398    ft
 399    (cons ?Α ?ω)
 400    (font-spec :name "DejaVu Sans Mono" :size 14)
 401    nil
 402    'prepend))
 403 #+end_src
 404
 405 ** Gentler font resizing
 406
 407 #+begin_src emacs-lisp
 408 (setq text-scale-mode-step 1.05)
 409 #+end_src
 410
 411 ** Libraries
 412
 413 #+begin_src emacs-lisp
 414 (require 'cl-lib)
 415 (require 'subr-x)
 416 #+end_src
 417
 418 ** Useful utilities
 419
 420 #+begin_src emacs-lisp
 421 (defun amin-enlist (exp)
 422   "Return EXP wrapped in a list, or as-is if already a list."
 423 (if (listp exp) exp (list exp)))
 424
 425 ; from https://github.com/hlissner/doom-emacs/commit/589108fdb270f24a98ba6209f6955fe41530b3ef
 426 (defmacro after! (features &rest body)
 427   "A smart wrapper around `with-eval-after-load'. Supresses warnings during
 428 compilation."
 429   (declare (indent defun) (debug t))
 430   (list (if (or (not (bound-and-true-p byte-compile-current-file))
 431                 (dolist (next (amin-enlist features))
 432                   (if (symbolp next)
 433                       (require next nil :no-error)
 434                     (load next :no-message :no-error))))
 435             #'progn
 436           #'with-no-warnings)
 437         (cond ((symbolp features)
 438                `(eval-after-load ',features '(progn ,@body)))
 439               ((and (consp features)
 440                     (memq (car features) '(:or :any)))
 441                `(progn
 442                   ,@(cl-loop for next in (cdr features)
 443                              collect `(after! ,next ,@body))))
 444               ((and (consp features)
 445                     (memq (car features) '(:and :all)))
 446                (dolist (next (cdr features))
 447                  (setq body `(after! ,next ,@body)))
 448                body)
 449               ((listp features)
 450                `(after! (:all ,@features) ,@body)))))
 451 #+end_src
 452
 453 Convenience macro for =setq='ing multiple variables to the same value:
 454
 455 #+begin_src emacs-lisp
 456 (defmacro setq-every! (value &rest vars)
 457   "Set all the variables from VARS to value VALUE."
 458   (declare (indent defun) (debug t))
 459   `(progn ,@(mapcar (lambda (x) (list 'setq x value)) vars)))
 460 #+end_src
 461
 462 * Core
 463 :PROPERTIES:
 464 :CUSTOM_ID: core
 465 :END:
 466
 467 ** Defaults
 468
 469 *** Time and battery in mode-line
 470
 471 Enable displaying time and battery in the mode-line, since I'm not
 472 using the Xfce panel anymore. Also, I don't need to see the load
 473 average on a regular basis, so disable that.
 474
 475 Note: using =i3status= on sway at the moment, so disabling this.
 476
 477 #+begin_src emacs-lisp :tangle no
 478 (use-package time
 479   :init
 480   (setq display-time-default-load-average nil)
 481   :config
 482   (display-time-mode))
 483
 484 (use-package battery
 485   :config
 486   (display-battery-mode))
 487 #+end_src
 488
 489 *** Smaller fringe
 490
 491 Might want to set the fringe to a smaller value, especially if using
 492 EXWM. I'm fine with the default for now.
 493
 494 #+begin_src emacs-lisp
 495 ;; (fringe-mode '(3 . 1))
 496 (fringe-mode nil)
 497 #+end_src
 498
 499 *** Disable disabled commands
 500
 501 Emacs disables some commands by default that could persumably be
 502 confusing for novice users. Let's disable that.
 503
 504 #+begin_src emacs-lisp
 505 (setq disabled-command-function nil)
 506 #+end_src
 507
 508 *** Kill-ring
 509
 510 Save what I copy into clipboard from other applications into Emacs'
 511 kill-ring, which would allow me to still be able to easily access it
 512 in case I kill (cut or copy) something else inside Emacs before
 513 yanking (pasting) what I'd originally intended to.
 514
 515 #+begin_src emacs-lisp
 516 (setq save-interprogram-paste-before-kill t)
 517 #+end_src
 518
 519 *** Minibuffer
 520
 521 #+begin_src emacs-lisp
 522 (setq enable-recursive-minibuffers t
 523       resize-mini-windows t)
 524 #+end_src
 525
 526 *** Lazy-person-friendly yes/no prompts
 527
 528 Lazy people would prefer to type fewer keystrokes, especially for yes
 529 or no questions. I'm lazy.
 530
 531 #+begin_src emacs-lisp
 532 (defalias 'yes-or-no-p #'y-or-n-p)
 533 #+end_src
 534
 535 *** Startup screen and =*scratch*=
 536
 537 Firstly, let Emacs know that I'd like to have =*scratch*= as my
 538 startup buffer.
 539
 540 #+begin_src emacs-lisp
 541 (setq initial-buffer-choice t)
 542 #+end_src
 543
 544 Now let's customize the =*scratch*= buffer a bit. First off, I don't
 545 need the default hint.
 546
 547 #+begin_src emacs-lisp
 548 (setq initial-scratch-message nil)
 549 #+end_src
 550
 551 Also, let's use Text mode as the major mode, in case I want to
 552 customize it (=*scratch*='s default major mode, Fundamental mode,
 553 can't really be customized).
 554
 555 #+begin_src emacs-lisp
 556 (setq initial-major-mode 'text-mode)
 557 #+end_src
 558
 559 Inhibit the buffer list when more than 2 files are loaded.
 560
 561 #+begin_src emacs-lisp
 562 (setq inhibit-startup-buffer-menu t)
 563 #+end_src
 564
 565 I don't really need to see the startup screen or echo area message
 566 either.
 567
 568 #+begin_src emacs-lisp
 569 (advice-add #'display-startup-echo-area-message :override #'ignore)
 570 (setq inhibit-startup-screen t
 571       inhibit-startup-echo-area-message user-login-name)
 572 #+end_src
 573
 574 *** More useful frame titles
 575
 576 Show either the file name or the buffer name (in case the buffer isn't
 577 visiting a file). Borrowed from Emacs Prelude.
 578
 579 #+begin_src emacs-lisp
 580 (setq frame-title-format
 581       '("" invocation-name " - "
 582         (:eval (if (buffer-file-name)
 583                    (abbreviate-file-name (buffer-file-name))
 584                  "%b"))))
 585 #+end_src
 586
 587 *** Backups
 588
 589 Emacs' default backup settings aren't that great. Let's use more
 590 sensible options. See documentation for the ~make-backup-file~
 591 variable.
 592
 593 #+begin_src emacs-lisp
 594 (setq backup-by-copying t
 595       version-control t
 596       delete-old-versions t)
 597 #+end_src
 598
 599 *** Auto revert
 600
 601 Enable automatic reloading of changed buffers and files.
 602
 603 #+begin_src emacs-lisp
 604 (global-auto-revert-mode 1)
 605 (setq auto-revert-verbose nil
 606       global-auto-revert-non-file-buffers t)
 607 #+end_src
 608
 609 *** Always use space for indentation
 610
 611 #+begin_src emacs-lisp
 612 (setq-default
 613  indent-tabs-mode nil
 614  require-final-newline t
 615  tab-width 4)
 616 #+end_src
 617
 618 *** Winner mode
 619
 620 Enable =winner-mode=.
 621
 622 #+begin_src emacs-lisp
 623 (winner-mode 1)
 624 #+end_src
 625
 626 *** Close =*compilation*= on success
 627
 628 #+begin_src emacs-lisp
 629 (setq compilation-exit-message-function
 630       (lambda (status code msg)
 631         "Close the compilation window if successful."
 632         ;; if M-x compile exits with 0
 633          (when (and (eq status 'exit) (zerop code))
 634            (bury-buffer)
 635            (delete-window (get-buffer-window (get-buffer "*compilation*"))))
 636          ;; return the result of compilation-exit-message-function
 637          (cons msg code)))
 638 #+end_src
 639
 640 ** Bindings
 641
 642 #+begin_src emacs-lisp
 643 (bind-keys
 644  ("C-c b k" . kill-this-buffer)
 645  ("C-c s s" . save-buffer)
 646  ("C-c b s" . save-buffer)
 647  ("C-c S"   . save-buffer)
 648  ("C-c o"   . other-window)
 649  ("C-c q q" . save-buffers-kill-terminal)
 650  ("C-c F m" . make-frame-command)
 651  ("C-c F d" . delete-frame)
 652  ("C-c F D" . delete-other-frames))
 653 #+end_src
 654
 655 ** Packages
 656
 657 The packages in this section are absolutely essential to my everyday
 658 workflow, and they play key roles in how I do my computing. They
 659 immensely enhance the Emacs experience for me; both using Emacs, and
 660 customizing it.
 661
 662 *** [[https://github.com/emacscollective/auto-compile][auto-compile]]
 663
 664 #+begin_src emacs-lisp
 665 (use-package auto-compile
 666   :demand t
 667   :config
 668   (auto-compile-on-load-mode)
 669   (auto-compile-on-save-mode)
 670   (setq auto-compile-display-buffer               nil
 671         auto-compile-mode-line-counter            t
 672         auto-compile-source-recreate-deletes-dest t
 673         auto-compile-toggle-deletes-nonlib-dest   t
 674         auto-compile-update-autoloads             t)
 675   (add-hook 'auto-compile-inhibit-compile-hook
 676             'auto-compile-inhibit-compile-detached-git-head))
 677 #+end_src
 678
 679 *** [[https://orgmode.org/][Org mode]]
 680
 681 #+begin_quote
 682 Org mode is for keeping notes, maintaining TODO lists, planning
 683 projects, and authoring documents with a fast and effective plain-text
 684 system.
 685 #+end_quote
 686
 687 In short, my favourite way of life.
 688
 689 #+begin_src emacs-lisp
 690 (use-package org
 691   :config
 692   (setq org-src-tab-acts-natively t
 693         org-src-preserve-indentation nil
 694         org-edit-src-content-indentation 0
 695         org-log-done 'time)
 696   :hook ((org-mode . org-indent-mode)
 697          (org-mode . auto-fill-mode)
 698          (org-mode . flyspell-mode))
 699   :custom
 700   (org-latex-packages-alist '(("" "listings") ("" "color"))))
 701
 702 (use-package ox-latex
 703   :config
 704   (setq org-latex-listings 'listings)
 705   (add-to-list 'org-latex-packages-alist '("" "listings"))
 706   (add-to-list 'org-latex-packages-alist '("" "color"))
 707   (add-to-list 'org-latex-classes
 708                '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
 709                  ("\\section{%s}" . "\\section*{%s}")
 710                  ("\\subsection{%s}" . "\\subsection*{%s}")
 711                  ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
 712                  ("\\paragraph{%s}" . "\\paragraph*{%s}")
 713                  ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
 714                t))
 715
 716 (use-package ox-beamer)
 717
 718 (use-package org-notmuch
 719   :after (:any org notmuch))
 720
 721 (use-package orgalist
 722   :hook (message-mode . orgalist-mode))
 723
 724 ;; (use-package org-outline-numbering)
 725 ;; TODO: auto-updating by calling org-outline-numbering-display
 726 #+end_src
 727
 728 **** asynchronous tangle
 729
 730 =amin/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
 731 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
 732 file.
 733
 734 #+begin_src emacs-lisp
 735 (after! org
 736   (defvar amin-show-async-tangle-results nil
 737     "Keep *emacs* async buffers around for later inspection.")
 738
 739   (defvar amin-show-async-tangle-time nil
 740     "Show the time spent tangling the file.")
 741
 742   (defvar amin-async-tangle-post-compile "make ti"
 743     "If non-nil, pass to `compile' after successful tangle.")
 744
 745   (defun amin/async-babel-tangle ()
 746     "Tangle org file asynchronously."
 747     (interactive)
 748     (let* ((file-tangle-start-time (current-time))
 749            (file (buffer-file-name))
 750            (file-nodir (file-name-nondirectory file))
 751            (async-quiet-switch "-q"))
 752       (async-start
 753        `(lambda ()
 754           (require 'org)
 755           (org-babel-tangle-file ,file))
 756        (unless amin-show-async-tangle-results
 757          `(lambda (result)
 758             (if result
 759                 (progn
 760                   (message "Tangled %s%s"
 761                            ,file-nodir
 762                            (if amin-show-async-tangle-time
 763                                (format " (%.3fs)"
 764                                        (float-time (time-subtract (current-time)
 765                                                                   ',file-tangle-start-time)))
 766                              ""))
 767                   (when amin-async-tangle-post-compile
 768                     (compile amin-async-tangle-post-compile)))
 769               (message "Tangling %s failed" ,file-nodir))))))))
 770
 771 (add-to-list
 772  'safe-local-variable-values
 773  '(eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))
 774 #+end_src
 775
 776 *** [[https://magit.vc/][Magit]]
 777
 778 #+begin_quote
 779 It's Magit! A Git porcelain inside Emacs.
 780 #+end_quote
 781
 782 Not just how I do git, but /the/ way to do git.
 783
 784 #+begin_src emacs-lisp
 785 (use-package magit
 786   :defer t
 787   :bind
 788   (("s-g"   . magit-dispatch-popup)
 789    ("C-x g" . magit-status)
 790    :prefix-map amin--magit-prefix-map
 791    :prefix "C-c g"
 792    ("SPC" . magit-status)
 793    ("s"   . magit-status)
 794    ("S"   . magit-status-prefix)
 795    ("B"   . magit-blame-addition)
 796    ("C"   . magit-clone)
 797    ("f"   . magit-fetch-other)
 798    ("F"   . magit-pull-branch)
 799    ("P"   . magit-push-other)
 800    ("p"   . magit-dispatch-popup)
 801    ("c c" . magit-commit-create)
 802    ("c a" . magit-commit-amend)
 803    ("b b" . magit-checkout)
 804    ("b c" . magit-branch-create))
 805   :config
 806   (magit-add-section-hook 'magit-status-sections-hook
 807                           'magit-insert-modules
 808                           'magit-insert-stashes
 809                           'append)
 810   :custom-face (magit-diff-file-heading ((t (:weight normal)))))
 811 #+end_src
 812
 813 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
 814
 815 #+begin_quote
 816 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
 817 an overview, and more. Oh, man!
 818 #+end_quote
 819
 820 There's no way I could top that, so I won't attempt to.
 821
 822 **** Ivy
 823
 824 #+begin_src emacs-lisp
 825 (use-package ivy
 826   :defer 1
 827   :bind
 828   (("C-c b b" . ivy-switch-buffer)
 829    :map ivy-minibuffer-map
 830    ([escape] . keyboard-escape-quit)
 831    ([S-up]   . ivy-previous-history-element)
 832    ([S-down] . ivy-next-history-element)
 833    ("DEL"    . ivy-backward-delete-char))
 834   :config
 835   (setq ivy-wrap t)
 836   (ivy-mode 1)
 837   :custom-face
 838   (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
 839   (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
 840   (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold)))))
 841 #+end_src
 842
 843 **** Swiper
 844
 845 #+begin_src emacs-lisp
 846 (use-package swiper
 847   :bind (("C-s" . swiper)
 848          ("C-r" . swiper)))
 849 #+end_src
 850
 851 **** Counsel
 852
 853 #+begin_src emacs-lisp
 854 (use-package counsel
 855   :defer 1
 856   :bind (([remap execute-extended-command] . counsel-M-x)
 857          ([remap find-file]                . counsel-find-file)
 858          ("s-r"                            . counsel-recentf)
 859          ("C-c x"                          . counsel-M-x)
 860          ("C-c f ."                        . counsel-find-file)
 861          ("C-c f r"                        . counsel-recentf)
 862          :map minibuffer-local-map
 863          ("C-r" . counsel-minibuffer-history))
 864   :config
 865   (counsel-mode 1)
 866   (defalias 'locate #'counsel-locate))
 867 #+end_src
 868
 869 *** eshell
 870
 871 #+begin_src emacs-lisp
 872 (use-package eshell
 873   :commands eshell
 874   :config
 875   (eval-when-compile (defvar eshell-prompt-regexp))
 876   (defun amin/eshell-quit-or-delete-char (arg)
 877     (interactive "p")
 878     (if (and (eolp) (looking-back eshell-prompt-regexp nil))
 879         (eshell-life-is-too-much)
 880       (delete-char arg)))
 881
 882   (defun amin/eshell-clear ()
 883     (interactive)
 884     (let ((inhibit-read-only t))
 885       (erase-buffer))
 886     (eshell-send-input))
 887
 888   (defun amin|eshell-setup ()
 889     (bind-keys :map eshell-mode-map
 890                ("C-d" . amin/eshell-quit-or-delete-char)
 891                ("C-l" . amin/eshell-clear)))
 892
 893   :hook (eshell-mode . amin|eshell-setup))
 894 #+end_src
 895
 896 *** Ibuffer
 897
 898 #+begin_src emacs-lisp
 899 (use-package ibuffer
 900   :bind
 901   (("C-x C-b" . ibuffer-other-window)
 902    ("C-c b B" . ibuffer-other-window)
 903    :map ibuffer-mode-map
 904    ("P"   . ibuffer-backward-filter-group)
 905    ("N"   . ibuffer-forward-filter-group)
 906    ("M-p" . ibuffer-do-print)
 907    ("M-n" . ibuffer-do-shell-command-pipe-replace))
 908   :config
 909   ;; Use human readable Size column instead of original one
 910   (define-ibuffer-column size-h
 911     (:name "Size" :inline t)
 912     (cond
 913      ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
 914      ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
 915      ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
 916      (t (format "%8d" (buffer-size)))))
 917   :custom
 918   (ibuffer-saved-filter-groups
 919    '(("default"
 920       ("dired" (mode . dired-mode))
 921       ("org"   (mode . org-mode))
 922       ("web"
 923        (or
 924         (mode . web-mode)
 925         (mode . css-mode)
 926         (mode . scss-mode)
 927         (mode . js2-mode)))
 928       ("shell"
 929        (or
 930         (mode . eshell-mode)
 931         (mode . shell-mode)))
 932       ("notmuch" (name . "\*notmuch\*"))
 933       ("programming"
 934        (or
 935         (mode . python-mode)
 936         (mode . c++-mode)
 937         (mode . emacs-lisp-mode)))
 938       ("emacs"
 939        (or
 940         (name . "^\\*scratch\\*$")
 941         (name . "^\\*Messages\\*$"))))))
 942   (ibuffer-formats
 943    '((mark modified read-only locked " "
 944            (name 18 18 :left :elide)
 945            " "
 946            (size-h 9 -1 :right)
 947            " "
 948            (mode 16 16 :left :elide)
 949            " " filename-and-process)
 950      (mark " "
 951            (name 16 -1)
 952            " " filename)))
 953   :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
 954 #+end_src
 955
 956 *** Outline
 957
 958 #+begin_src emacs-lisp
 959 (use-package outline
 960   :hook (prog-mode . outline-minor-mode)
 961   :bind
 962   (:map
 963    outline-minor-mode-map
 964    ("<s-tab>"  . outline-toggle-children)
 965    ("s-p"      . outline-previous-visible-heading)
 966    ("s-n"      . outline-next-visible-heading)
 967    :prefix-map amin--outline-prefix-map
 968    :prefix "s-o"
 969    ("TAB" . outline-toggle-children)
 970    ("a"   . outline-hide-body)
 971    ("H"   . outline-hide-body)
 972    ("S"   . outline-show-all)
 973    ("h"   . outline-hide-subtree)
 974    ("s"   . outline-show-subtree)))
 975 #+end_src
 976
 977 * Borg's =layer/essentials=
 978
 979 TODO: break this giant source block down into individual org sections.
 980
 981 #+begin_src emacs-lisp
 982 (use-package dash
 983   :config (dash-enable-font-lock))
 984
 985 (use-package diff-hl
 986   :config
 987   (setq diff-hl-draw-borders nil)
 988   (global-diff-hl-mode)
 989   (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
 990
 991 (use-package dired
 992   :defer t
 993   :config (setq dired-listing-switches "-alh"))
 994
 995 (use-package eldoc
 996   :when (version< "25" emacs-version)
 997   :config (global-eldoc-mode))
 998
 999 (use-package help
1000   :defer t
1001   :config (temp-buffer-resize-mode))
1002
1003 (progn ;    `isearch'
1004   (setq isearch-allow-scroll t))
1005
1006 (use-package lisp-mode
1007   :config
1008   (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1009   (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1010   (defun indent-spaces-mode ()
1011     (setq indent-tabs-mode nil))
1012   (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1013
1014 (use-package man
1015   :defer t
1016   :config (setq Man-width 80))
1017
1018 (use-package paren
1019   :config (show-paren-mode))
1020
1021 (use-package prog-mode
1022   :config (global-prettify-symbols-mode)
1023   (defun indicate-buffer-boundaries-left ()
1024     (setq indicate-buffer-boundaries 'left))
1025   (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1026
1027 (use-package recentf
1028   :demand t
1029   :config
1030   (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1031   (setq recentf-max-saved-items 40))
1032
1033 (use-package savehist
1034   :config (savehist-mode))
1035
1036 (use-package saveplace
1037   :when (version< "25" emacs-version)
1038   :config (save-place-mode))
1039
1040 (use-package simple
1041   :config (column-number-mode))
1042
1043 (progn ;    `text-mode'
1044   (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left))
1045
1046 (use-package tramp
1047   :defer t
1048   :config
1049   (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1050   (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1051   (add-to-list 'tramp-default-proxies-alist
1052                (list (regexp-quote (system-name)) nil nil)))
1053
1054 (use-package undo-tree
1055   :bind (("C-?" . undo-tree-undo)
1056          ("M-_" . undo-tree-redo))
1057   :config
1058   (global-undo-tree-mode)
1059   (setq undo-tree-mode-lighter ""
1060         undo-tree-auto-save-history t))
1061 #+end_src
1062
1063 * Editing
1064
1065 ** Company
1066
1067 #+begin_src emacs-lisp
1068 (use-package company
1069   :defer 5
1070   :bind
1071   (:map company-active-map
1072         ([tab]    . company-complete-common-or-cycle)
1073         ([escape] . company-abort))
1074   :custom
1075   (company-idle-delay 0.3)
1076   (company-minimum-prefix-length 1)
1077   (company-selection-wrap-around t)
1078   (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1079   (company-dabbrev-downcase nil)
1080   (company-dabbrev-ignore-case nil)
1081   :config
1082   (global-company-mode t))
1083 #+end_src
1084
1085 * Syntax and spell checking
1086 #+begin_src emacs-lisp
1087 (use-package flycheck
1088   :hook (prog-mode . flycheck-mode)
1089   :config
1090   ;; Use the load-path from running Emacs when checking elisp files
1091   (setq flycheck-emacs-lisp-load-path 'inherit)
1092
1093   ;; Only flycheck when I actually save the buffer
1094   (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1095
1096 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1097 (use-package ispell
1098   :config
1099   ;; ’ can be part of a word
1100   (setq ispell-local-dictionary-alist
1101         `((nil "[[:alpha:]]" "[^[:alpha:]]"
1102                "['\x2019]" nil ("-B") nil utf-8)))
1103   ;; don't send ’ to the subprocess
1104   (defun endless/replace-apostrophe (args)
1105     (cons (replace-regexp-in-string
1106            "’" "'" (car args))
1107           (cdr args)))
1108   (advice-add #'ispell-send-string :filter-args
1109               #'endless/replace-apostrophe)
1110
1111   ;; convert ' back to ’ from the subprocess
1112   (defun endless/replace-quote (args)
1113     (if (not (derived-mode-p 'org-mode))
1114         args
1115       (cons (replace-regexp-in-string
1116              "'" "’" (car args))
1117             (cdr args))))
1118   (advice-add #'ispell-parse-output :filter-args
1119               #'endless/replace-quote))
1120 #+end_src
1121 * Programming modes
1122
1123 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1124
1125 #+begin_src emacs-lisp
1126 (use-package alloy-mode
1127   :config (setq alloy-basic-offset 2))
1128 #+end_src
1129
1130 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1131
1132 #+begin_src emacs-lisp
1133 (use-package proof-site  ; Proof General
1134   :load-path "lib/proof-site/generic/")
1135 #+end_src
1136
1137 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1138
1139 #+begin_src emacs-lisp
1140 (eval-when-compile (defvar lean-mode-map))
1141 (use-package lean-mode
1142   :defer 2
1143   :bind (:map lean-mode-map
1144               ("S-SPC" . company-complete))
1145   :config
1146   (require 'lean-input)
1147   (setq default-input-method "Lean"))
1148   #+end_src
1149
1150 ** Haskell
1151
1152 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1153
1154 #+begin_src emacs-lisp
1155 (use-package haskell-mode
1156   :config
1157   (setq haskell-indentation-layout-offset 4
1158         haskell-indentation-left-offset 4
1159         flycheck-checker 'haskell-hlint
1160         flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1161 #+end_src
1162
1163 *** [[https://github.com/jyp/dante][dante]]
1164
1165 #+begin_src emacs-lisp
1166 (use-package dante
1167   :after haskell-mode
1168   :commands dante-mode
1169   :hook (haskell-mode . dante-mode))
1170 #+end_src
1171
1172 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1173
1174 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1175 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1176
1177 #+begin_src emacs-lisp
1178 (use-package hlint-refactor
1179   :bind (:map hlint-refactor-mode-map
1180               ("C-c l b" . hlint-refactor-refactor-buffer)
1181               ("C-c l r" . hlint-refactor-refactor-at-point))
1182   :hook (haskell-mode . hlint-refactor-mode))
1183 #+end_src
1184
1185 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1186
1187 #+begin_src emacs-lisp
1188 (use-package flycheck-haskell)
1189 #+end_src
1190
1191 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1192 :PROPERTIES:
1193 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1194 :END:
1195
1196 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1197 instead.
1198
1199 #+begin_src emacs-lisp :tangle no
1200 ;;; hs-lint.el --- minor mode for HLint code checking
1201
1202 ;; Copyright 2009 (C) Alex Ott
1203 ;;
1204 ;; Author: Alex Ott <alexott@gmail.com>
1205 ;; Keywords: haskell, lint, HLint
1206 ;; Requirements:
1207 ;; Status: distributed under terms of GPL2 or above
1208
1209 ;; Typical message from HLint looks like:
1210 ;;
1211 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1212 ;; Found:
1213 ;;   count1 p l = length (filter p l)
1214 ;; Why not:
1215 ;;   count1 p = length . filter p
1216
1217
1218 (require 'compile)
1219
1220 (defgroup hs-lint nil
1221   "Run HLint as inferior of Emacs, parse error messages."
1222   :group 'tools
1223   :group 'haskell)
1224
1225 (defcustom hs-lint-command "hlint"
1226   "The default hs-lint command for \\[hlint]."
1227   :type 'string
1228   :group 'hs-lint)
1229
1230 (defcustom hs-lint-save-files t
1231   "Save modified files when run HLint or no (ask user)"
1232   :type 'boolean
1233   :group 'hs-lint)
1234
1235 (defcustom hs-lint-replace-with-suggestions nil
1236   "Replace user's code with suggested replacements"
1237   :type 'boolean
1238   :group 'hs-lint)
1239
1240 (defcustom hs-lint-replace-without-ask nil
1241   "Replace user's code with suggested replacements automatically"
1242   :type 'boolean
1243   :group 'hs-lint)
1244
1245 (defun hs-lint-process-setup ()
1246   "Setup compilation variables and buffer for `hlint'."
1247   (run-hooks 'hs-lint-setup-hook))
1248
1249 ;; regex for replace suggestions
1250 ;;
1251 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1252 ;; Found:
1253 ;; \s +\(.*\)
1254 ;; Why not:
1255 ;; \s +\(.*\)
1256
1257 (defvar hs-lint-regex
1258   "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1259   "Regex for HLint messages")
1260
1261 (defun make-short-string (str maxlen)
1262   (if (< (length str) maxlen)
1263       str
1264     (concat (substring str 0 (- maxlen 3)) "...")))
1265
1266 (defun hs-lint-replace-suggestions ()
1267   "Perform actual replacement of suggestions"
1268   (goto-char (point-min))
1269   (while (re-search-forward hs-lint-regex nil t)
1270     (let* ((fname (match-string 1))
1271           (fline (string-to-number (match-string 2)))
1272           (old-code (match-string 4))
1273           (new-code (match-string 5))
1274           (msg (concat "Replace '" (make-short-string old-code 30)
1275                        "' with '" (make-short-string new-code 30) "'"))
1276           (bline 0)
1277           (eline 0)
1278           (spos 0)
1279           (new-old-code ""))
1280       (save-excursion
1281         (switch-to-buffer (get-file-buffer fname))
1282         (goto-char (point-min))
1283         (forward-line (1- fline))
1284         (beginning-of-line)
1285         (setf bline (point))
1286         (when (or hs-lint-replace-without-ask
1287                   (yes-or-no-p msg))
1288           (end-of-line)
1289           (setf eline (point))
1290           (beginning-of-line)
1291           (setf old-code (regexp-quote old-code))
1292           (while (string-match "\\\\ " old-code spos)
1293             (setf new-old-code (concat new-old-code
1294                                  (substring old-code spos (match-beginning 0))
1295                                  "\\ *"))
1296             (setf spos (match-end 0)))
1297           (setf new-old-code (concat new-old-code (substring old-code spos)))
1298           (remove-text-properties bline eline '(composition nil))
1299           (when (re-search-forward new-old-code eline t)
1300             (replace-match new-code nil t)))))))
1301
1302 (defun hs-lint-finish-hook (buf msg)
1303   "Function, that is executed at the end of HLint execution"
1304   (if hs-lint-replace-with-suggestions
1305       (hs-lint-replace-suggestions)
1306       (next-error 1 t)))
1307
1308 (define-compilation-mode hs-lint-mode "HLint"
1309   "Mode for check Haskell source code."
1310   (set (make-local-variable 'compilation-process-setup-function)
1311        'hs-lint-process-setup)
1312   (set (make-local-variable 'compilation-disable-input) t)
1313   (set (make-local-variable 'compilation-scroll-output) nil)
1314   (set (make-local-variable 'compilation-finish-functions)
1315        (list 'hs-lint-finish-hook))
1316   )
1317
1318 (defun hs-lint ()
1319   "Run HLint for current buffer with haskell source"
1320   (interactive)
1321   (save-some-buffers hs-lint-save-files)
1322   (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1323                      'hs-lint-mode))
1324
1325 (provide 'hs-lint)
1326 ;;; hs-lint.el ends here
1327 #+end_src
1328
1329 #+begin_src emacs-lisp :tangle no
1330 (use-package hs-lint
1331   :load-path "lisp/"
1332   :bind (:map haskell-mode-map
1333               ("C-c l l" . hs-lint)))
1334 #+end_src
1335
1336 ** Web dev
1337
1338 *** SGML and HTML
1339
1340 #+begin_src emacs-lisp
1341 (use-package sgml-mode
1342   :config
1343   (setq sgml-basic-offset 2))
1344 #+end_src
1345
1346 *** CSS and SCSS
1347
1348 #+begin_src emacs-lisp
1349 (use-package css-mode
1350   :config
1351   (setq css-indent-offset 2))
1352 #+end_src
1353
1354 *** Web mode
1355
1356 #+begin_src emacs-lisp
1357 (use-package web-mode
1358   :mode "\\.html\\'"
1359   :config
1360   (setq-every! 2
1361     web-mode-code-indent-offset
1362     web-mode-css-indent-offset
1363     web-mode-markup-indent-offset))
1364 #+end_src
1365
1366 *** Emmet mode
1367
1368 #+begin_src emacs-lisp
1369 (use-package emmet-mode
1370   :bind* (("C-)" . emmet-next-edit-point)
1371           ("C-(" . emmet-prev-edit-point))
1372   :config
1373   (unbind-key "C-j" emmet-mode-keymap)
1374   (setq emmet-move-cursor-between-quotes t)
1375   :hook (web-mode css-mode html-mode sgml-mode))
1376 #+end_src
1377
1378 ** Nix
1379
1380 #+begin_src emacs-lisp
1381 (use-package nix-mode
1382   :mode "\\.nix\\'")
1383 #+end_src
1384
1385 ** Java
1386
1387 *** meghanada
1388
1389 #+begin_src emacs-lisp :tangle yes
1390 (use-package meghanada
1391   :bind
1392   (:map meghanada-mode-map
1393         (("C-M-o" . meghanada-optimize-import)
1394          ("C-M-t" . meghanada-import-all)))
1395   :hook (java-mode . meghanada-mode))
1396 #+end_src
1397
1398 *** lsp-java
1399
1400 #+begin_src emacs-lisp :tangle no
1401 (use-package treemacs)
1402
1403 (use-package yasnippet
1404   :config
1405   ;; (yas-global-mode)
1406   )
1407
1408 (use-package lsp-mode
1409   :init (setq lsp-eldoc-render-all nil
1410               lsp-highlight-symbol-at-point nil)
1411   )
1412
1413 (use-package hydra)
1414
1415 (use-package company-lsp
1416   :after  company
1417   :config
1418   (setq company-lsp-cache-candidates t
1419         company-lsp-async t))
1420
1421 (use-package lsp-ui
1422   :config
1423   (setq lsp-ui-sideline-update-mode 'point))
1424
1425 (use-package lsp-java
1426   :config
1427   (add-hook 'java-mode-hook
1428             (lambda ()
1429               (setq-local company-backends (list 'company-lsp))))
1430
1431   (add-hook 'java-mode-hook 'lsp-java-enable)
1432   (add-hook 'java-mode-hook 'flycheck-mode)
1433   (add-hook 'java-mode-hook 'company-mode)
1434   (add-hook 'java-mode-hook 'lsp-ui-mode))
1435
1436 (use-package dap-mode
1437   :after lsp-mode
1438   :config
1439   (dap-mode t)
1440   (dap-ui-mode t))
1441
1442 (use-package dap-java
1443   :after (lsp-java))
1444
1445 (use-package lsp-java-treemacs
1446   :after (treemacs))
1447 #+end_src
1448
1449 * Emacs Enhancements
1450
1451 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1452
1453 #+begin_quote
1454 Emacs package that displays available keybindings in popup
1455 #+end_quote
1456
1457 #+begin_src emacs-lisp
1458 (use-package which-key
1459   :defer 1
1460   :config (which-key-mode))
1461 #+end_src
1462
1463 ** [[https://github.com/seagle0128/doom-modeline][doom-modeline]]
1464
1465 #+begin_src emacs-lisp
1466 (use-package doom-modeline
1467   :demand t
1468   :config (setq doom-modeline-height 32)
1469   :hook (after-init . doom-modeline-init))
1470 #+end_src
1471
1472 ** [[https://github.com/maio/eink-emacs][eink-theme]]
1473
1474 #+begin_src emacs-lisp
1475 (setq doom-modeline-bar-width 5)
1476 (load-theme 'eink t)
1477 #+end_src
1478
1479 ** [[https://github.com/bbatsov/crux][crux]]
1480
1481 #+begin_src emacs-lisp
1482 (use-package crux
1483   :bind (("C-c d"   . crux-duplicate-current-line-or-region)
1484          ("C-c M-d" . crux-duplicate-and-comment-current-line-or-region)
1485          ("C-c b K" . crux-kill-other-buffers)
1486          ("C-c f c" . crux-copy-file-preserve-attributes)
1487          ("C-c f D" . crux-delete-file-and-buffer)
1488          ("C-c f R" . crux-rename-file-and-buffer)
1489          ("C-S-j"   . crux-top-join-line)
1490          ("C-c j"   . crux-top-join-line)))
1491 #+end_src
1492
1493 ** [[https://github.com/alezost/mwim.el][mwim]]
1494
1495 #+begin_src emacs-lisp
1496 (use-package mwim
1497   :bind (("C-a"    . mwim-beginning-of-code-or-line)
1498          ("C-e"    . mwim-end-of-code-or-line)
1499          ("<home>" . mwim-beginning-of-line-or-code)
1500          ("<end>"  . mwim-end-of-line-or-code)))
1501 #+end_src
1502
1503 ** projectile
1504
1505 #+begin_src emacs-lisp
1506 (use-package projectile
1507   :defer 5
1508   :bind-keymap ("C-c p" . projectile-command-map)
1509   :config
1510   (projectile-mode)
1511
1512   (defun my-projectile-invalidate-cache (&rest _args)
1513     ;; ignore the args to `magit-checkout'
1514     (projectile-invalidate-cache nil))
1515
1516   (eval-after-load 'magit-branch
1517     '(progn
1518        (advice-add 'magit-checkout
1519                    :after #'my-projectile-invalidate-cache)
1520        (advice-add 'magit-branch-and-checkout
1521                    :after #'my-projectile-invalidate-cache))))
1522 #+end_src
1523
1524 ** [[https://github.com/Wilfred/helpful][helpful]]
1525
1526 #+begin_src emacs-lisp
1527 (use-package helpful
1528   :bind
1529   (("C-h f"   . helpful-callable)
1530    ("C-h v"   . helpful-variable)
1531    ("C-h k"   . helpful-key)
1532    ("C-c C-d" . helpful-at-point)
1533    ("C-h F"   . helpful-function)
1534    ("C-h C"   . helpful-command)))
1535 #+end_src
1536
1537 ** [[https://github.com/kyagi/shell-pop-el][shell-pop]]
1538
1539 #+begin_src emacs-lisp
1540 (use-package shell-pop
1541   :custom
1542   (shell-pop-universal-key "C-c e")
1543   (shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
1544 #+end_src
1545
1546 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1547
1548 Make =*scratch*= and =*Messages*= unkillable.
1549
1550 #+begin_src emacs-lisp
1551 (use-package unkillable-scratch
1552   :config
1553   (unkillable-scratch 1)
1554   :custom
1555   (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1556 #+end_src
1557
1558 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1559
1560 #+begin_example
1561 ,----
1562 | make pretty boxed quotes like this
1563 `----
1564 #+end_example
1565
1566 #+begin_src emacs-lisp
1567 (use-package boxquote
1568   :bind
1569   (:prefix-map amin--boxquote-prefix-map
1570    :prefix "C-c q"
1571    ("b"   . boxquote-buffer)
1572    ("B"   . boxquote-insert-buffer)
1573    ("d"   . boxquote-defun)
1574    ("F"   . boxquote-insert-file)
1575    ("hf"  . boxquote-describe-function)
1576    ("hk"  . boxquote-describe-key)
1577    ("hv"  . boxquote-describe-variable)
1578    ("hw"  . boxquote-where-is)
1579    ("k"   . boxquote-kill)
1580    ("p"   . boxquote-paragraph)
1581    ("q"   . boxquote-boxquote)
1582    ("r"   . boxquote-region)
1583    ("s"   . boxquote-shell-command)
1584    ("t"   . boxquote-text)
1585    ("T"   . boxquote-title)
1586    ("u"   . boxquote-unbox)
1587    ("U"   . boxquote-unbox-region)
1588    ("y"   . boxquote-yank)
1589    ("M-q" . boxquote-fill-paragraph)
1590    ("M-w" . boxquote-kill-ring-save)))
1591 #+end_src
1592
1593 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1594
1595 ** [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]
1596
1597 #+begin_src emacs-lisp
1598 (use-package highlight-indent-guides
1599   :demand t
1600   :hook ((prog-mode . highlight-indent-guides-mode)
1601          ;; (org-mode  . highlight-indent-guides-mode)
1602          )
1603   :config
1604   (setq highlight-indent-guides-character ?\|)
1605   (setq highlight-indent-guides-auto-enabled nil)
1606   (setq highlight-indent-guides-method 'character)
1607   (setq highlight-indent-guides-responsive 'top)
1608   (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1609   (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1610 #+end_src
1611
1612 ** pdf-tools
1613
1614 #+begin_src emacs-lisp
1615 (use-package pdf-tools
1616   :magic ("%PDF" . pdf-view-mode)
1617   :config
1618   (setq pdf-view-resize-factor 1.05)
1619   (pdf-tools-install)
1620   :bind
1621   (:map pdf-view-mode-map
1622         ("C-s" . isearch-forward)
1623         ("C-r" . isearch-backward)
1624         ("j"   . pdf-view-next-line-or-next-page)
1625         ("k"   . pdf-view-previous-line-or-previous-page)
1626         ("h"   . image-backward-hscroll)
1627         ("l"   . image-forward-hscroll)))
1628 #+end_src
1629
1630 ** anzu
1631
1632 #+begin_src emacs-lisp
1633 (use-package anzu)
1634 #+end_src
1635
1636 ** typo.el
1637
1638 #+begin_src emacs-lisp
1639 (use-package typo
1640   :config
1641   (typo-global-mode 1)
1642   :hook (text-mode . typo-mode))
1643 #+end_src
1644
1645 * Email
1646
1647 #+begin_src emacs-lisp
1648 (defvar amin-maildir (expand-file-name "~/mail/"))
1649 (after! recentf
1650   (add-to-list 'recentf-exclude amin-maildir))
1651 #+end_src
1652
1653 ** sendmail
1654
1655 #+begin_src emacs-lisp
1656 (use-package sendmail
1657   :config
1658   (setq sendmail-program "/usr/bin/msmtp"
1659         ;; message-sendmail-extra-arguments '("-v" "-d")
1660         mail-specify-envelope-from t
1661         mail-envelope-from 'header))
1662 #+end_src
1663
1664 ** message
1665
1666 #+begin_src emacs-lisp
1667 (use-package message
1668   :config
1669   (setq message-kill-buffer-on-exit t
1670         message-send-mail-function 'message-send-mail-with-sendmail
1671         message-sendmail-envelope-from 'header
1672         ;; message-directory "drafts"
1673         message-user-fqdn "aminb.org")
1674   ;; (add-hook 'message-mode-hook 'electric-quote-local-mode)
1675   (add-hook 'message-mode-hook
1676             (lambda () (setq fill-column 65
1677                         message-fill-column 65)))
1678   (add-hook 'message-mode-hook
1679             #'flyspell-mode)
1680   ;; (add-hook 'message-setup-hook
1681   ;;           #'mml-secure-message-sign-pgpmime)
1682   :custom-face
1683   (message-header-subject ((t (:foreground "navy blue" :weight semi-bold))))
1684   (message-header-to ((t (:foreground "MidnightBlue" :weight semi-bold)))))
1685
1686 (after! mml-sec
1687   (setq mml-secure-openpgp-encrypt-to-self t
1688         mml-secure-openpgp-sign-with-sender t))
1689 #+end_src
1690
1691 ** [[https://notmuchmail.org][notmuch]]
1692
1693 See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
1694
1695 #+begin_src emacs-lisp
1696 (defun amin/notmuch ()
1697   "Delete other windows, then launch `notmuch'."
1698   (interactive
1699    (when (equal current-prefix-arg nil)
1700      (delete-other-windows)))
1701   (notmuch))
1702
1703 (use-package notmuch
1704   :commands notmuch
1705   :bind ("C-c n" . amin/notmuch)
1706   :custom (notmuch-always-prompt-for-sender t)
1707   :config
1708   (setq notmuch-hello-sections
1709         '(notmuch-hello-insert-header
1710           notmuch-hello-insert-saved-searches
1711           ;; notmuch-hello-insert-search
1712           notmuch-hello-insert-alltags)
1713         notmuch-search-oldest-first nil
1714         notmuch-show-all-tags-list t
1715         notmuch-message-headers  ; see bug follow-up above
1716         '("Subject" "To" "Cc" "Date" "List-Id" "X-RT-Originator")
1717         notmuch-hello-thousands-separator ","
1718         notmuch-fcc-dirs
1719         '(("amin@aminb.org"        . "amin/Sent")
1720           ("bandali@gnu.org"       . "gnu/Sent")
1721           ("abandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
1722           ("mab@gnu.org"           . "gnu/Sent")
1723           ("amin@gnu.org"          . "gnu/Sent")
1724           ("aminb@gnu.org"         . "gnu/Sent")
1725           (".*"                    . "sent"))
1726         notmuch-search-result-format
1727         '(("date"    . "%12s ")
1728           ("count"   . "%-7s ")
1729           ("authors" . "%-40s ")
1730           ("subject" . "%s ")
1731           ("tags"    . "(%s)"))
1732         notmuch-saved-searches
1733         '((:name "inbox"     :query "tag:inbox"     :key "i")
1734           (:name "unread"    :query "tag:unread"    :key "u")
1735           (:name "latest"    :query "tag:latest"    :key "l")
1736           (:name "encrypted" :query "tag:encrypted" :key "e")
1737           (:name "flagged"   :query "tag:flagged"   :key "f")
1738           (:name "sent"      :query "tag:sent"      :key "s")
1739           (:name "drafts"    :query "tag:draft"     :key "d")
1740           (:name "all mail"  :query "*"             :key "a")))
1741   ;; (add-hook 'visual-fill-column-mode-hook
1742   ;;           (lambda ()
1743   ;;             (when (string= major-mode 'notmuch-message-mode)
1744   ;;               (setq visual-fill-column-width 70))))
1745   ;; (set! :evil-state 'notmuch-message-mode 'insert)
1746   ;; (advice-add #'notmuch-bury-or-kill-this-buffer
1747   ;;             :override #'kill-this-buffer)
1748   :hook (notmuch-message-mode . doom-modeline-set-special-modeline)
1749   :bind
1750   (:map notmuch-hello-mode-map
1751         ("u" . (lambda ()
1752                  "Search for `unread'-tagged messages"
1753                  (interactive)
1754                  (notmuch-hello-search "tag:unread")))
1755         ("i" . (lambda ()
1756                  "Search for `inbox'-tagged messages"
1757                  (interactive)
1758                  (notmuch-hello-search "tag:inbox")))
1759         ("l" . (lambda ()
1760                  "Search for `latest'-tagged messages"
1761                  (interactive)
1762                  (notmuch-hello-search "tag:latest")))
1763         ("e" . (lambda ()
1764                  "Search for `encrypted'-tagged messages"
1765                  (interactive)
1766                  (notmuch-hello-search "tag:encrypted"))))
1767   (:map notmuch-search-mode-map
1768         ("k" . (lambda ()
1769                  "Mark message read"
1770                  (interactive)
1771                  (notmuch-search-tag '("-unread"))
1772                  ;; (notmuch-search-archive-thread)
1773                  (notmuch-search-next-thread)))
1774         ("u" . (lambda ()
1775                  "Mark message unread"
1776                  (interactive)
1777                  (notmuch-search-tag '("+unread"))
1778                  (notmuch-search-next-thread)))
1779         ("K" . (lambda ()
1780                  "Mark message deleted"
1781                  (interactive)
1782                  (notmuch-search-tag '("-unread" "-inbox" "+deleted"))
1783                  (notmuch-search-next-thread)))
1784         ("S" . (lambda ()
1785                  "Mark message as spam"
1786                  (interactive)
1787                  (notmuch-search-tag '("-unread" "-inbox" "-webmasters" "+spam"))
1788                  (notmuch-search-next-thread))))
1789   (:map notmuch-tree-mode-map
1790         ("k" . (lambda ()
1791                  "Mark message read"
1792                  (interactive)
1793                  (notmuch-tree-tag '("-unread"))
1794                  ;; (notmuch-tree-archive-thread)
1795                  (notmuch-tree-next-message)))
1796         ("u" . (lambda ()
1797                  "Mark message unread"
1798                  (interactive)
1799                  (notmuch-tree-tag '("+unread"))
1800                  (notmuch-tree-next-message)))
1801         ("K" . (lambda ()
1802                  "Mark message deleted"
1803                  (interactive)
1804                  (notmuch-tree-tag '("-unread" "-inbox" "+deleted"))
1805                  (notmuch-tree-next-message)))
1806         ("S" . (lambda ()
1807                  "Mark message as spam"
1808                  (interactive)
1809                  (notmuch-tree-tag '("-unread" "-inbox" "-webmasters" "+spam"))
1810                  (notmuch-tree-next-message))))
1811   :custom-face
1812   (notmuch-search-unread-face ((t (:weight semi-bold))))
1813   (notmuch-tag-face ((t (:foreground "navy blue" :weight semi-bold)))))
1814
1815 (use-package counsel-notmuch
1816   :bind ("C-c s m" . counsel-notmuch))
1817
1818 (after! notmuch-crypto
1819   (setq notmuch-crypto-process-mime t))
1820 #+end_src
1821
1822 ** supercite
1823
1824 #+begin_src emacs-lisp :tangle no
1825 (use-package supercite
1826   :commands sc-cite-original
1827   :init
1828   (add-hook 'mail-citation-hook 'sc-cite-original)
1829
1830   (defun sc-remove-existing-signature ()
1831     (save-excursion
1832       (goto-char (region-beginning))
1833       (when (re-search-forward message-signature-separator (region-end) t)
1834         (delete-region (match-beginning 0) (region-end)))))
1835
1836   (add-hook 'mail-citation-hook 'sc-remove-existing-signature)
1837
1838   (defun sc-remove-if-not-mailing-list ()
1839     (unless (assoc "list-id" sc-mail-info)
1840       (setq attribution sc-default-attribution
1841             citation (concat sc-citation-delimiter
1842                              sc-citation-separator))))
1843
1844   (add-hook 'sc-attribs-postselect-hook 'sc-remove-if-not-mailing-list)
1845
1846   :config
1847   (defun sc-fill-if-different (&optional prefix)
1848     "Fill the region bounded by `sc-fill-begin' and point.
1849 Only fill if optional PREFIX is different than
1850 `sc-fill-line-prefix'.  If `sc-auto-fill-region-p' is nil, do not
1851 fill region.  If PREFIX is not supplied, initialize fill
1852 variables.  This is useful for a regi `begin' frame-entry."
1853     (if (not prefix)
1854         (setq sc-fill-line-prefix ""
1855               sc-fill-begin (line-beginning-position))
1856       (if (and sc-auto-fill-region-p
1857                (not (string= prefix sc-fill-line-prefix)))
1858           (let ((fill-prefix sc-fill-line-prefix))
1859             (unless (or (string= fill-prefix "")
1860                         (save-excursion
1861                           (goto-char sc-fill-begin)
1862                           (or (looking-at ">+  +")
1863                               (< (length
1864                                   (buffer-substring (point)
1865                                                     (line-end-position)))
1866                                  65))))
1867               (fill-region sc-fill-begin (line-beginning-position)))
1868             (setq sc-fill-line-prefix prefix
1869                   sc-fill-begin (line-beginning-position)))))
1870 nil))
1871 #+end_src
1872
1873 * Blogging
1874 ** [[https://ox-hugo.scripter.co][ox-hugo]]
1875
1876 #+begin_src emacs-lisp
1877 (use-package ox-hugo
1878   :after ox)
1879
1880 (use-package ox-hugo-auto-export
1881   :load-path "lib/ox-hugo")
1882 #+end_src
1883
1884 * Post initialization
1885 :PROPERTIES:
1886 :CUSTOM_ID: post-initialization
1887 :END:
1888
1889 Display how long it took to load the init file.
1890
1891 #+begin_src emacs-lisp
1892 (message "Loading %s...done (%.3fs)" user-init-file
1893          (float-time (time-subtract (current-time)
1894                                     amin--before-user-init-time)))
1895 #+end_src
1896
1897 * Footer
1898 :PROPERTIES:
1899 :CUSTOM_ID: footer
1900 :END:
1901
1902 #+begin_src emacs-lisp :comments none
1903 ;;; init.el ends here
1904 #+end_src
1905
1906 * COMMENT Local Variables                                           :ARCHIVE:
1907 # Local Variables:
1908 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
1909 # End: