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