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