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