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