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