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