[emacs][wip] fix proof general
[~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 - [[#borg-essentials][Borg's =layer/essentials=]]
58 - [[#editing][Editing]]
59 - [[#syntax-spell-checking][Syntax and spell checking]]
60 - [[#programming-modes][Programming modes]]
61 - [[#emacs-enhancements][Emacs enhancements]]
62 - [[#email][Email]]
63 - [[#blogging][Blogging]]
64 - [[#post-initialization][Post initialization]]
65 - [[#footer][Footer]]
66
67 * Header
68 :PROPERTIES:
69 :CUSTOM_ID: header
70 :END:
71
72 ** First line
73
74 #+begin_src emacs-lisp :comments none
75 ;;; init.el --- Amin Bandali's Emacs config -*- lexical-binding: t; eval: (view-mode 1) -*-
76 #+end_src
77
78 Enable =view-mode=, which both makes the file read-only (as a reminder
79 that =init.el= is an auto-generated file, not supposed to be edited),
80 and provides some convenient key bindings for browsing through the
81 file.
82
83 ** License
84
85 #+begin_src emacs-lisp :comments none
86 ;; Copyright (C) 2018 Amin Bandali <bandali@gnu.org>
87
88 ;; This program is free software: you can redistribute it and/or modify
89 ;; it under the terms of the GNU General Public License as published by
90 ;; the Free Software Foundation, either version 3 of the License, or
91 ;; (at your option) any later version.
92
93 ;; This program is distributed in the hope that it will be useful,
94 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
95 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
96 ;; GNU General Public License for more details.
97
98 ;; You should have received a copy of the GNU General Public License
99 ;; along with this program. If not, see <https://www.gnu.org/licenses/>.
100 #+end_src
101
102 ** Commentary
103
104 #+begin_src emacs-lisp :comments none
105 ;;; Commentary:
106
107 ;; Emacs configuration of Amin Bandali, computer scientist, functional
108 ;; programmer, and free software advocate.
109
110 ;; THIS FILE IS AUTO-GENERATED FROM `init.org'.
111 #+end_src
112
113 * Initial setup
114 :PROPERTIES:
115 :CUSTOM_ID: initial-setup
116 :END:
117
118 ** Emacs initialization
119
120 I'd like to do a couple of measurements of Emacs' startup time. First,
121 let's see how long Emacs takes to start up, before even loading
122 =init.el=, i.e. =user-init-file=:
123
124 #+begin_src emacs-lisp
125 (defvar a/before-user-init-time (current-time)
126 "Value of `current-time' when Emacs begins loading `user-init-file'.")
127 (message "Loading Emacs...done (%.3fs)"
128 (float-time (time-subtract a/before-user-init-time
129 before-init-time)))
130 #+end_src
131
132 Also, temporarily increase ~gc-cons-threshhold~ and
133 ~gc-cons-percentage~ during startup to reduce garbage collection
134 frequency. Clearing the ~file-name-handler-alist~ seems to help reduce
135 startup time as well.
136
137 #+begin_src emacs-lisp
138 (defvar a/gc-cons-threshold gc-cons-threshold)
139 (defvar a/gc-cons-percentage gc-cons-percentage)
140 (defvar a/file-name-handler-alist file-name-handler-alist)
141 (setq gc-cons-threshold (* 400 1024 1024) ; 400 MiB
142 gc-cons-percentage 0.6
143 file-name-handler-alist nil
144 ;; sidesteps a bug when profiling with esup
145 esup-child-profile-require-level 0)
146 #+end_src
147
148 Of course, we'd like to set them back to their defaults once we're
149 done initializing.
150
151 #+begin_src emacs-lisp
152 (add-hook
153 'after-init-hook
154 (lambda ()
155 (setq gc-cons-threshold a/gc-cons-threshold
156 gc-cons-percentage a/gc-cons-percentage
157 file-name-handler-alist a/file-name-handler-alist)))
158 #+end_src
159
160 Increase the number of lines kept in message logs (the =*Messages*=
161 buffer).
162
163 #+begin_src emacs-lisp
164 (setq message-log-max 20000)
165 #+end_src
166
167 Optionally, we could suppress some byte compiler warnings like below,
168 but for now I've decided to keep them enabled. See documentation for
169 ~byte-compile-warnings~ for more details.
170
171 #+begin_src emacs-lisp
172 ;; (setq byte-compile-warnings
173 ;; '(not free-vars unresolved noruntime lexical make-local))
174 #+end_src
175
176 ** whoami
177
178 #+begin_src emacs-lisp
179 (setq user-full-name "Amin Bandali"
180 user-mail-address "amin@aminb.org")
181 #+end_src
182
183 ** Package management
184
185 *** No =package.el=
186
187 I can do all my package management things with =straight.el=, and
188 don't need Emacs' built-in =package.el=. Emacs 27 lets us disable
189 =package.el= in the =early-init-file= (see [[https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=24acb31c04b4048b85311d794e600ecd7ce60d3b][here]]).
190
191 #+begin_src emacs-lisp :tangle early-init.el
192 (setq package-enable-at-startup nil)
193 #+end_src
194
195 But since Emacs 27 isn't out yet (Emacs 26 is just around the corner
196 right now), and even when released it'll be long before most distros
197 ship in their repos, I'll still put the old workaround with the
198 commented call to ~package-initialize~ here anyway.
199
200 #+begin_src emacs-lisp :tangle no
201 (setq package-enable-at-startup nil)
202 ;; (package-initialize)
203 #+end_src
204
205 Update: the above is not necessary, since =straight.el= automatically
206 does that (and more). See =straight-package-neutering-mode=.
207
208 *** =straight.el=
209
210 #+begin_quote
211 Next-generation, purely functional package manager for the Emacs
212 hacker.
213 #+end_quote
214
215 =straight.el= allows me to have a fully reproducible Emacs setup.
216
217 #+begin_src emacs-lisp
218 (setq straight-repository-branch "develop")
219
220 (defvar bootstrap-version)
221 (let ((bootstrap-file
222 (expand-file-name "straight/repos/straight.el/bootstrap.el" user-emacs-directory))
223 (bootstrap-version 5))
224 (unless (file-exists-p bootstrap-file)
225 (with-current-buffer
226 (url-retrieve-synchronously
227 "https://raw.githubusercontent.com/raxod502/straight.el/develop/install.el"
228 'silent 'inhibit-cookies)
229 (goto-char (point-max))
230 (eval-print-last-sexp)))
231 (load bootstrap-file nil 'nomessage))
232
233 (setq straight-use-package-by-default t)
234 #+end_src
235
236 Since we enable =straight.el='s =straight-use-package-by-default=
237 integration, we will define a =use-feature= for plain ole
238 =use-package= without any of the =straight.el= stuff.
239
240 #+begin_src emacs-lisp
241 (defmacro use-feature (name &rest args)
242 "Like `use-package', but with `straight-use-package-by-default' disabled."
243 (declare (indent defun))
244 `(use-package ,name
245 :straight nil
246 ,@args))
247 #+end_src
248
249 *** COMMENT Borg
250
251 #+begin_quote
252 Assimilate Emacs packages as Git submodules
253 #+end_quote
254
255 [[https://github.com/emacscollective/borg][Borg]] is at the heart of package management of my Emacs setup. In
256 short, it creates a git submodule in =lib/= for each package, which
257 can then be managed with the help of Magit or other tools.
258
259 #+begin_src emacs-lisp
260 (setq user-init-file (or load-file-name buffer-file-name)
261 user-emacs-directory (file-name-directory user-init-file))
262 (add-to-list 'load-path
263 (expand-file-name "lib/borg" user-emacs-directory))
264 (require 'borg)
265 (borg-initialize)
266
267 ;; (require 'borg-nix-shell)
268 ;; (setq borg-build-shell-command 'borg-nix-shell-build-command)
269
270 (with-eval-after-load 'bind-key
271 (bind-keys
272 :package borg
273 ("C-c b A" . borg-activate)
274 ("C-c b a" . borg-assimilate)
275 ("C-c b b" . borg-build)
276 ("C-c b c" . borg-clone)
277 ("C-c b r" . borg-remove)))
278 #+end_src
279
280 *** =use-package=
281
282 #+begin_quote
283 A use-package declaration for simplifying your .emacs
284 #+end_quote
285
286 [[https://github.com/jwiegley/use-package][use-package]] is an awesome utility for managing and configuring
287 packages (in our case especially the latter) in a neatly organized way
288 and without compromising on performance.
289
290 #+begin_src emacs-lisp
291 (straight-use-package 'use-package)
292 (if nil ; set to t when need to debug init
293 (setq use-package-verbose t
294 use-package-expand-minimally nil
295 use-package-compute-statistics t
296 debug-on-error t)
297 (setq use-package-verbose nil
298 use-package-expand-minimally t))
299
300 (setq use-package-always-defer t)
301 #+end_src
302
303 *** COMMENT Epkg
304
305 #+begin_quote
306 Browse the Emacsmirror package database
307 #+end_quote
308
309 Epkg provides access to a local copy of the [[https://emacsmirror.net][Emacsmirror]] package
310 database, low-level functions for querying the database, and a
311 =package.el=-like user interface for browsing the available packages.
312
313 #+begin_src emacs-lisp
314 (use-package epkg
315 :defer t
316 :bind
317 (("C-c b d" . epkg-describe-package)
318 ("C-c b p" . epkg-list-packages)
319 ("C-c b u" . epkg-update))
320 :config
321 (eval-when-compile (defvar ivy-initial-inputs-alist))
322 (with-eval-after-load 'ivy
323 (add-to-list
324 'ivy-initial-inputs-alist '(epkg-describe-package . "^") t)))
325 #+end_src
326
327 ** No littering in =~/.emacs.d=
328
329 #+begin_quote
330 Help keeping ~/.emacs.d clean
331 #+end_quote
332
333 By default, even for Emacs' built-in packages, the configuration files
334 and persistent data are all over the place. Use =no-littering= to help
335 contain the mess.
336
337 #+begin_src emacs-lisp
338 (use-package no-littering
339 :demand t
340 :config
341 (savehist-mode 1)
342 (add-to-list 'savehist-additional-variables 'kill-ring)
343 (save-place-mode 1)
344 (setq auto-save-file-name-transforms
345 `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
346 #+end_src
347
348 ** Custom file (=custom.el=)
349
350 I'm not planning on using the custom file much, but even so, I
351 definitely don't want it mixing with =init.el=. So, here; let's give
352 it it's own file. While at it, treat themes as safe.
353
354 #+begin_src emacs-lisp
355 (use-feature custom
356 :no-require t
357 :config
358 (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
359 (when (file-exists-p custom-file)
360 (load custom-file))
361 (setf custom-safe-themes t))
362 #+end_src
363
364 ** Secrets file
365
366 Load the secrets file if it exists, otherwise show a warning.
367
368 #+begin_src emacs-lisp
369 (with-demoted-errors
370 (load (no-littering-expand-etc-file-name "secrets")))
371 #+end_src
372
373 ** Better =$PATH= handling
374
375 Let's use [[https://github.com/purcell/exec-path-from-shell][exec-path-from-shell]] to make Emacs use the =$PATH= as set up
376 in my shell.
377
378 #+begin_src emacs-lisp
379 (use-package exec-path-from-shell
380 :defer 1
381 :init
382 (setq exec-path-from-shell-check-startup-files nil)
383 :config
384 (exec-path-from-shell-initialize)
385 ;; while we're at it, let's fix access to our running ssh-agent
386 (exec-path-from-shell-copy-env "SSH_AGENT_PID")
387 (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
388 #+end_src
389
390 ** COMMENT Only one custom theme at a time
391
392 #+begin_src emacs-lisp
393 (defadvice load-theme (before clear-previous-themes activate)
394 "Clear existing theme settings instead of layering them"
395 (mapc #'disable-theme custom-enabled-themes))
396 #+end_src
397
398 ** Server
399
400 Start server if not already running. Alternatively, can be done by
401 issuing =emacs --daemon= in the terminal, which can be automated with
402 a systemd service or using =brew services start emacs= on macOS. I use
403 Emacs as my window manager (via EXWM), so I always start Emacs on
404 login; so starting the server from inside Emacs is good enough for me.
405
406 See [[https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server][Using Emacs as a Server]].
407
408 #+begin_src emacs-lisp
409 (use-feature server
410 :defer 1
411 :config (or (server-running-p) (server-mode)))
412 #+end_src
413
414 ** COMMENT Unicode support
415
416 Font stack with better unicode support, around =Ubuntu Mono= and
417 =Hack=.
418
419 #+begin_src emacs-lisp
420 (dolist (ft (fontset-list))
421 (set-fontset-font
422 ft
423 'unicode
424 (font-spec :name "Source Code Pro" :size 14))
425 (set-fontset-font
426 ft
427 'unicode
428 (font-spec :name "DejaVu Sans Mono")
429 nil
430 'append)
431 ;; (set-fontset-font
432 ;; ft
433 ;; 'unicode
434 ;; (font-spec
435 ;; :name "Symbola monospacified for DejaVu Sans Mono")
436 ;; nil
437 ;; 'append)
438 ;; (set-fontset-font
439 ;; ft
440 ;; #x2115 ; ℕ
441 ;; (font-spec :name "DejaVu Sans Mono")
442 ;; nil
443 ;; 'append)
444 (set-fontset-font
445 ft
446 (cons ?Α ?ω)
447 (font-spec :name "DejaVu Sans Mono" :size 14)
448 nil
449 'prepend))
450 #+end_src
451
452 ** Gentler font resizing
453
454 #+begin_src emacs-lisp
455 (setq text-scale-mode-step 1.05)
456 #+end_src
457
458 ** Focus follows mouse
459
460 I’d like focus to follow the mouse when I move the cursor from one
461 window to the next.
462
463 #+begin_src emacs-lisp
464 (setq mouse-autoselect-window t)
465 #+end_src
466
467 Let’s define a function to conveniently disable this for certain
468 buffers and/or modes.
469
470 #+begin_src emacs-lisp
471 (defun a/no-mouse-autoselect-window ()
472 (make-local-variable 'mouse-autoselect-window)
473 (setq mouse-autoselect-window nil))
474 #+end_src
475
476 ** Libraries
477
478 #+begin_src emacs-lisp
479 (require 'cl-lib)
480 (require 'subr-x)
481 #+end_src
482
483 ** Useful utilities
484
485 Convenience macro for =setq='ing multiple variables to the same value:
486
487 #+begin_src emacs-lisp
488 (defmacro a/setq-every (value &rest vars)
489 "Set all the variables from VARS to value VALUE."
490 (declare (indent defun) (debug t))
491 `(progn ,@(mapcar (lambda (x) (list 'setq x value)) vars)))
492 #+end_src
493
494 The following process-related stuff from [[https://github.com/alezost/emacs-config][alezost's emacs-config]].
495
496 #+begin_src emacs-lisp
497 (defun a/start-process (program &rest args)
498 "Same as `start-process', but doesn't bother about name and buffer."
499 (let ((process-name (concat program "_process"))
500 (buffer-name (generate-new-buffer-name
501 (concat program "_output"))))
502 (apply #'start-process
503 process-name buffer-name program args)))
504
505 (defun a/dired-start-process (program &optional args)
506 "Open current file with a PROGRAM."
507 ;; Shell command looks like this: "program [ARGS]... FILE" (ARGS can
508 ;; be nil, so remove it).
509 (apply #'a/start-process
510 program
511 (remove nil (list args (dired-get-file-for-visit)))))
512 #+end_src
513
514 * Core
515 :PROPERTIES:
516 :CUSTOM_ID: core
517 :END:
518
519 ** Defaults
520
521 *** Time and battery in mode-line
522
523 Enable displaying time and battery in the mode-line, since I'm not
524 using the Xfce panel anymore. Also, I don't need to see the load
525 average on a regular basis, so disable that.
526
527 Note: using =i3status= on sway at the moment, so disabling this.
528
529 #+begin_src emacs-lisp :tangle no
530 (use-package time
531 :init
532 (setq display-time-default-load-average nil)
533 :config
534 (display-time-mode))
535
536 (use-package battery
537 :config
538 (display-battery-mode))
539 #+end_src
540
541 *** Smaller fringe
542
543 Might want to set the fringe to a smaller value, especially if using
544 EXWM. I'm fine with the default for now.
545
546 #+begin_src emacs-lisp
547 ;; (fringe-mode '(3 . 1))
548 (fringe-mode nil)
549 #+end_src
550
551 *** Disable disabled commands
552
553 Emacs disables some commands by default that could persumably be
554 confusing for novice users. Let's disable that.
555
556 #+begin_src emacs-lisp
557 (setq disabled-command-function nil)
558 #+end_src
559
560 *** Kill-ring
561
562 Save what I copy into clipboard from other applications into Emacs'
563 kill-ring, which would allow me to still be able to easily access it
564 in case I kill (cut or copy) something else inside Emacs before
565 yanking (pasting) what I'd originally intended to.
566
567 #+begin_src emacs-lisp
568 (setq save-interprogram-paste-before-kill t)
569 #+end_src
570
571 *** Minibuffer
572
573 #+begin_src emacs-lisp
574 (setq enable-recursive-minibuffers t
575 resize-mini-windows t)
576 #+end_src
577
578 *** Lazy-person-friendly yes/no prompts
579
580 Lazy people would prefer to type fewer keystrokes, especially for yes
581 or no questions. I'm lazy.
582
583 #+begin_src emacs-lisp
584 (defalias 'yes-or-no-p #'y-or-n-p)
585 #+end_src
586
587 *** Startup screen and =*scratch*=
588
589 Firstly, let Emacs know that I'd like to have =*scratch*= as my
590 startup buffer.
591
592 #+begin_src emacs-lisp
593 (setq initial-buffer-choice t)
594 #+end_src
595
596 Now let's customize the =*scratch*= buffer a bit. First off, I don't
597 need the default hint.
598
599 #+begin_src emacs-lisp
600 (setq initial-scratch-message nil)
601 #+end_src
602
603 Also, let's use Text mode as the major mode, in case I want to
604 customize it (=*scratch*='s default major mode, Fundamental mode,
605 can't really be customized).
606
607 #+begin_src emacs-lisp
608 (setq initial-major-mode 'text-mode)
609 #+end_src
610
611 Inhibit the buffer list when more than 2 files are loaded.
612
613 #+begin_src emacs-lisp
614 (setq inhibit-startup-buffer-menu t)
615 #+end_src
616
617 I don't really need to see the startup screen or echo area message
618 either.
619
620 #+begin_src emacs-lisp
621 (advice-add #'display-startup-echo-area-message :override #'ignore)
622 (setq inhibit-startup-screen t
623 inhibit-startup-echo-area-message user-login-name)
624 #+end_src
625
626 *** More useful frame titles
627
628 Show either the file name or the buffer name (in case the buffer isn't
629 visiting a file). Borrowed from Emacs Prelude.
630
631 #+begin_src emacs-lisp
632 (setq frame-title-format
633 '("" invocation-name " - "
634 (:eval (if (buffer-file-name)
635 (abbreviate-file-name (buffer-file-name))
636 "%b"))))
637 #+end_src
638
639 *** Backups
640
641 Emacs' default backup settings aren't that great. Let's use more
642 sensible options. See documentation for the ~make-backup-file~
643 variable.
644
645 #+begin_src emacs-lisp
646 (setq backup-by-copying t
647 version-control t
648 delete-old-versions t)
649 #+end_src
650
651 *** Auto revert
652
653 Enable automatic reloading of changed buffers and files.
654
655 #+begin_src emacs-lisp
656 (global-auto-revert-mode 1)
657 (setq auto-revert-verbose nil
658 global-auto-revert-non-file-buffers nil)
659 #+end_src
660
661 *** Always use space for indentation
662
663 #+begin_src emacs-lisp
664 (setq-default
665 indent-tabs-mode nil
666 require-final-newline t
667 tab-width 4)
668 #+end_src
669
670 *** Winner mode
671
672 Enable =winner-mode=.
673
674 #+begin_src emacs-lisp
675 (winner-mode 1)
676 #+end_src
677
678 *** Don’t display =*compilation*= on success
679
680 Based on https://stackoverflow.com/a/17788551, with changes to use
681 =cl-letf= instead of the now obsolete =flet=.
682
683 #+begin_src emacs-lisp
684 (with-eval-after-load 'compile
685 (defun a/compilation-finish-function (buffer outstr)
686 (unless (string-match "finished" outstr)
687 (switch-to-buffer-other-window buffer))
688 t)
689
690 (setq compilation-finish-functions #'a/compilation-finish-function)
691
692 (require 'cl-macs)
693
694 (defadvice compilation-start
695 (around inhibit-display
696 (command &optional mode name-function highlight-regexp))
697 (if (not (string-match "^\\(find\\|grep\\)" command))
698 (cl-letf (((symbol-function 'display-buffer) #'ignore))
699 (save-window-excursion ad-do-it))
700 ad-do-it))
701 (ad-activate 'compilation-start))
702 #+end_src
703
704 *** Search for non-ASCII characters
705
706 I’d like non-ASCII characters such as ‘’“”«»‹›áⓐ𝒶 to be selected when
707 I search for their ASCII counterpart. Shoutout to [[http://endlessparentheses.com/new-in-emacs-25-1-easily-search-non-ascii-characters.html][endlessparentheses]]
708 for this.
709
710 #+begin_src emacs-lisp
711 (setq search-default-mode #'char-fold-to-regexp)
712
713 ;; uncomment to extend this behaviour to query-replace
714 ;; (setq replace-char-fold t)
715 #+end_src
716
717 *** Cursor shape
718
719 #+begin_src emacs-lisp
720 (setq-default cursor-type 'bar)
721 #+end_src
722
723 *** Allow scrolling in Isearch
724
725 #+begin_src emacs-lisp
726 (setq isearch-allow-scroll t)
727 #+end_src
728
729 ** Bindings
730
731 #+begin_src emacs-lisp
732 (require 'bind-key)
733 (bind-keys
734 ("C-c a i" . ielm)
735
736 ("C-c e b" . eval-buffer)
737 ("C-c e r" . eval-region)
738
739 ("C-c F m" . make-frame-command)
740 ("C-c F d" . delete-frame)
741 ("C-c F D" . delete-other-frames)
742
743 ("C-c o" . other-window)
744
745 ("C-c Q" . save-buffers-kill-terminal)
746
747 ("C-S-h C" . describe-char)
748 ("C-S-h F" . describe-face)
749
750 ("C-x K" . kill-this-buffer)
751
752 ("s-p" . beginning-of-buffer)
753 ("s-n" . end-of-buffer))
754 #+end_src
755
756 ** Packages
757
758 The packages in this section are absolutely essential to my everyday
759 workflow, and they play key roles in how I do my computing. They
760 immensely enhance the Emacs experience for me; both using Emacs, and
761 customizing it.
762
763 *** [[https://github.com/emacscollective/auto-compile][auto-compile]]
764
765 #+begin_src emacs-lisp
766 (use-package auto-compile
767 :demand t
768 :config
769 (auto-compile-on-load-mode)
770 (auto-compile-on-save-mode)
771 (setq auto-compile-display-buffer nil
772 auto-compile-mode-line-counter t
773 auto-compile-source-recreate-deletes-dest t
774 auto-compile-toggle-deletes-nonlib-dest t
775 auto-compile-update-autoloads t)
776 (add-hook 'auto-compile-inhibit-compile-hook
777 'auto-compile-inhibit-compile-detached-git-head))
778 #+end_src
779
780 *** [[https://orgmode.org/][Org]]
781
782 #+begin_quote
783 Org mode is for keeping notes, maintaining TODO lists, planning
784 projects, and authoring documents with a fast and effective plain-text
785 system.
786 #+end_quote
787
788 In short, my favourite way of life.
789
790 First, we have to resort to a [[https://github.com/raxod502/straight.el#installing-org-with-straightel][hack]] to be able to use the correct
791 latest version of Org from upstream.
792
793 #+begin_src emacs-lisp
794 (use-package git)
795
796 (defun org-git-version ()
797 "The Git version of org-mode.
798 Inserted by installing org-mode or when a release is made."
799 (require 'git)
800 (let ((git-repo (expand-file-name
801 "straight/repos/org/" user-emacs-directory)))
802 (string-trim
803 (git-run "describe"
804 "--match=release\*"
805 "--abbrev=6"
806 "HEAD"))))
807
808 (defun org-release ()
809 "The release version of org-mode.
810 Inserted by installing org-mode or when a release is made."
811 (require 'git)
812 (let ((git-repo (expand-file-name
813 "straight/repos/org/" user-emacs-directory)))
814 (string-trim
815 (string-remove-prefix
816 "release_"
817 (git-run "describe"
818 "--match=release\*"
819 "--abbrev=0"
820 "HEAD")))))
821
822 (provide 'org-version)
823 #+end_src
824
825 We will use the =org-plus-contrib= package to get the whole deal:
826
827 #+begin_src emacs-lisp
828 (straight-use-package 'org-plus-contrib)
829 #+end_src
830
831 And here's where my actual Org configurations begin:
832
833 #+begin_src emacs-lisp
834 (use-feature org
835 :defer 0.5
836 :config
837 (setq org-src-tab-acts-natively t
838 org-src-preserve-indentation nil
839 org-edit-src-content-indentation 0
840 org-email-link-description-format "Email %c: %s" ; %.30s
841 org-highlight-latex-and-related '(entities)
842 org-use-speed-commands t
843 org-startup-folded 'content
844 org-catch-invisible-edits 'show-and-error
845 org-log-done 'time)
846 (add-to-list 'org-structure-template-alist '("L" . "src emacs-lisp") t)
847 (font-lock-add-keywords
848 'org-mode
849 '(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)"
850 (1 '(:foreground "#5a5b5a" :background "#292b2b") t) ; directive
851 (3 '(:foreground "#81a2be" :background "#292b2b") t) ; kind
852 (4 '(:foreground "#c5c8c6") t))) ; title
853 t)
854 :bind (:map org-mode-map ("M-L" . org-insert-last-stored-link))
855 :hook ((org-mode . org-indent-mode)
856 (org-mode . auto-fill-mode)
857 (org-mode . flyspell-mode))
858 :custom
859 (org-latex-packages-alist '(("" "listings") ("" "color")))
860 :custom-face
861 '(org-block-begin-line ((t (:foreground "#5a5b5a" :background "#1d1f21"))))
862 '(org-block ((t (:background "#1d1f21"))))
863 '(org-latex-and-related ((t (:foreground "#b294bb")))))
864
865 (use-feature ox-latex
866 :after ox
867 :config
868 (setq org-latex-listings 'listings
869 ;; org-latex-prefer-user-labels t
870 )
871 (add-to-list 'org-latex-packages-alist '("" "listings"))
872 (add-to-list 'org-latex-packages-alist '("" "color"))
873 (add-to-list 'org-latex-classes
874 '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
875 ("\\section{%s}" . "\\section*{%s}")
876 ("\\subsection{%s}" . "\\subsection*{%s}")
877 ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
878 ("\\paragraph{%s}" . "\\paragraph*{%s}")
879 ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
880 t))
881
882 (use-feature ox-beamer
883 :after ox)
884 #+end_src
885
886 **** asynchronous tangle
887
888 =a/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
889 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
890 file.
891
892 #+begin_src emacs-lisp
893 (with-eval-after-load 'org
894 (defvar a/show-async-tangle-results nil
895 "Keep *emacs* async buffers around for later inspection.")
896
897 (defvar a/show-async-tangle-time nil
898 "Show the time spent tangling the file.")
899
900 (defvar a/async-tangle-post-compile nil
901 "If non-nil, pass to `compile' after successful tangle.")
902
903 (defvar a/async-tangle-byte-recompile t
904 "If non-nil, byte-recompile the file on successful tangle.")
905
906 (defun a/async-babel-tangle ()
907 "Tangle org file asynchronously."
908 (interactive)
909 (let* ((file-tangle-start-time (current-time))
910 (file (buffer-file-name))
911 (file-nodir (file-name-nondirectory file))
912 ;; (async-quiet-switch "-q")
913 (file-noext (file-name-sans-extension file)))
914 (async-start
915 `(lambda ()
916 (require 'org)
917 (org-babel-tangle-file ,file))
918 (unless a/show-async-tangle-results
919 `(lambda (result)
920 (if result
921 (progn
922 (setq byte-compile-warnings '(not noruntime unresolved))
923 (message "Tangled %s%s"
924 ,file-nodir
925 (if a/show-async-tangle-time
926 (format " (%.3fs)"
927 (float-time (time-subtract (current-time)
928 ',file-tangle-start-time)))
929 ""))
930 (when a/async-tangle-post-compile
931 (compile a/async-tangle-post-compile))
932 (when a/async-tangle-byte-recompile
933 (byte-recompile-file (concat ,file-noext ".el"))))
934 (message "Tangling %s failed" ,file-nodir))))))))
935
936 (add-to-list
937 'safe-local-variable-values
938 '(eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local))
939 #+end_src
940
941 *** [[https://magit.vc/][Magit]]
942
943 #+begin_quote
944 It's Magit! A Git porcelain inside Emacs.
945 #+end_quote
946
947 Not just how I do git, but /the/ way to do git.
948
949 #+begin_src emacs-lisp
950 (use-package magit
951 :defer 1
952 :bind (("C-x g" . magit-status)
953 ("s-g s" . magit-status)
954 ("s-g l" . magit-log-buffer-file))
955 :config
956 (magit-add-section-hook 'magit-status-sections-hook
957 'magit-insert-modules
958 'magit-insert-stashes
959 'append)
960 (setq
961 magit-repository-directories '(("~/.emacs.d/" . 0)
962 ("~/src/git/" . 1)))
963 (nconc magit-section-initial-visibility-alist
964 '(([unpulled status] . show)
965 ([unpushed status] . show)))
966 :custom-face (magit-diff-file-heading ((t (:weight normal)))))
967 #+end_src
968
969 *** recentf
970
971 Recently opened files.
972
973 #+begin_src emacs-lisp
974 (use-feature recentf
975 :defer 0.5
976 :config
977 (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
978 (setq recentf-max-saved-items 40))
979 #+end_src
980
981 *** smex
982
983 #+begin_quote
984 A smart M-x enhancement for Emacs.
985 #+end_quote
986
987 Mostly because =counsel= needs it to remember history.
988
989 #+begin_src emacs-lisp
990 (use-package smex)
991 #+end_src
992
993 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
994
995 #+begin_quote
996 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
997 an overview, and more. Oh, man!
998 #+end_quote
999
1000 There's no way I could top that, so I won't attempt to.
1001
1002 **** Ivy
1003
1004 #+begin_src emacs-lisp
1005 (use-package ivy
1006 :defer 0.6
1007 :bind
1008 (:map ivy-minibuffer-map
1009 ([escape] . keyboard-escape-quit)
1010 ([S-up] . ivy-previous-history-element)
1011 ([S-down] . ivy-next-history-element)
1012 ("DEL" . ivy-backward-delete-char))
1013 :config
1014 (setq ivy-wrap t)
1015 (ivy-mode 1)
1016 ;; :custom-face
1017 ;; (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
1018 ;; (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
1019 ;; (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold))))
1020 )
1021 #+end_src
1022
1023 **** Swiper
1024
1025 #+begin_src emacs-lisp
1026 (use-package swiper
1027 :after ivy
1028 :bind (("C-s" . swiper)
1029 ("C-r" . swiper)
1030 ("C-S-s" . isearch-forward)))
1031 #+end_src
1032
1033 **** Counsel
1034
1035 #+begin_src emacs-lisp
1036 (use-package counsel
1037 :after ivy
1038 :bind (([remap execute-extended-command] . counsel-M-x)
1039 ([remap find-file] . counsel-find-file)
1040 ("s-r" . counsel-recentf)
1041 ("C-c x" . counsel-M-x)
1042 ("C-c f ." . counsel-find-file)
1043 :map minibuffer-local-map
1044 ("C-r" . counsel-minibuffer-history))
1045 :config
1046 (counsel-mode 1)
1047 (defalias 'locate #'counsel-locate))
1048 #+end_src
1049
1050 *** eshell
1051
1052 #+begin_src emacs-lisp
1053 (use-feature eshell
1054 :defer 1
1055 :commands eshell
1056 :bind ("C-c a s e" . eshell)
1057 :config
1058 (eval-when-compile (defvar eshell-prompt-regexp))
1059 (defun a/eshell-quit-or-delete-char (arg)
1060 (interactive "p")
1061 (if (and (eolp) (looking-back eshell-prompt-regexp nil))
1062 (eshell-life-is-too-much)
1063 (delete-char arg)))
1064
1065 (defun a/eshell-clear ()
1066 (interactive)
1067 (let ((inhibit-read-only t))
1068 (erase-buffer))
1069 (eshell-send-input))
1070
1071 (defun a/eshell-setup ()
1072 (make-local-variable 'company-idle-delay)
1073 (defvar company-idle-delay)
1074 (setq company-idle-delay nil)
1075 (bind-keys :map eshell-mode-map
1076 ("C-d" . a/eshell-quit-or-delete-char)
1077 ("C-S-l" . a/eshell-clear)
1078 ("M-r" . counsel-esh-history)
1079 ([tab] . company-complete)))
1080
1081 :hook (eshell-mode . a/eshell-setup)
1082 :custom
1083 (eshell-hist-ignoredups t)
1084 (eshell-input-filter 'eshell-input-filter-initial-space))
1085 #+end_src
1086
1087 *** Ibuffer
1088
1089 #+begin_src emacs-lisp
1090 (use-feature ibuffer
1091 :bind
1092 (("C-x C-b" . ibuffer-other-window)
1093 :map ibuffer-mode-map
1094 ("P" . ibuffer-backward-filter-group)
1095 ("N" . ibuffer-forward-filter-group)
1096 ("M-p" . ibuffer-do-print)
1097 ("M-n" . ibuffer-do-shell-command-pipe-replace))
1098 :config
1099 ;; Use human readable Size column instead of original one
1100 (define-ibuffer-column size-h
1101 (:name "Size" :inline t)
1102 (cond
1103 ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
1104 ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
1105 ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
1106 (t (format "%8d" (buffer-size)))))
1107 :custom
1108 (ibuffer-saved-filter-groups
1109 '(("default"
1110 ("dired" (mode . dired-mode))
1111 ("org" (mode . org-mode))
1112 ("gnus"
1113 (or
1114 (mode . gnus-group-mode)
1115 (mode . gnus-summary-mode)
1116 (mode . gnus-article-mode)
1117 ;; not really, but...
1118 (mode . message-mode)))
1119 ("web"
1120 (or
1121 (mode . web-mode)
1122 (mode . css-mode)
1123 (mode . scss-mode)
1124 (mode . js2-mode)))
1125 ("shell"
1126 (or
1127 (mode . eshell-mode)
1128 (mode . shell-mode)
1129 (mode . term-mode)))
1130 ("programming"
1131 (or
1132 (mode . python-mode)
1133 (mode . c-mode)
1134 (mode . c++-mode)
1135 (mode . emacs-lisp-mode)
1136 (mode . scheme-mode)
1137 (mode . haskell-mode)
1138 (mode . lean-mode)))
1139 ("emacs"
1140 (or
1141 (name . "^\\*scratch\\*$")
1142 (name . "^\\*Messages\\*$"))))))
1143 (ibuffer-formats
1144 '((mark modified read-only locked " "
1145 (name 18 18 :left :elide)
1146 " "
1147 (size-h 9 -1 :right)
1148 " "
1149 (mode 16 16 :left :elide)
1150 " " filename-and-process)
1151 (mark " "
1152 (name 16 -1)
1153 " " filename)))
1154 :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
1155 #+end_src
1156
1157 *** Outline
1158
1159 #+begin_src emacs-lisp
1160 (use-feature outline
1161 :hook (prog-mode . outline-minor-mode)
1162 :bind
1163 (:map
1164 outline-minor-mode-map
1165 ("<s-tab>" . outline-toggle-children)
1166 ("M-p" . outline-previous-visible-heading)
1167 ("M-n" . outline-next-visible-heading)
1168 :prefix-map a/outline-prefix-map
1169 :prefix "s-o"
1170 ("TAB" . outline-toggle-children)
1171 ("a" . outline-hide-body)
1172 ("H" . outline-hide-body)
1173 ("S" . outline-show-all)
1174 ("h" . outline-hide-subtree)
1175 ("s" . outline-show-subtree)))
1176 #+end_src
1177
1178 *** Dired
1179
1180 #+begin_src emacs-lisp
1181 (use-feature ls-lisp
1182 :custom (ls-lisp-dirs-first t))
1183
1184 (use-feature dired
1185 :config
1186 (setq dired-listing-switches "-alh"
1187 ls-lisp-use-insert-directory-program nil)
1188
1189 ;; easily diff 2 marked files
1190 ;; https://oremacs.com/2017/03/18/dired-ediff/
1191 (defun dired-ediff-files ()
1192 (interactive)
1193 (require 'dired-aux)
1194 (defvar ediff-after-quit-hook-internal)
1195 (let ((files (dired-get-marked-files))
1196 (wnd (current-window-configuration)))
1197 (if (<= (length files) 2)
1198 (let ((file1 (car files))
1199 (file2 (if (cdr files)
1200 (cadr files)
1201 (read-file-name
1202 "file: "
1203 (dired-dwim-target-directory)))))
1204 (if (file-newer-than-file-p file1 file2)
1205 (ediff-files file2 file1)
1206 (ediff-files file1 file2))
1207 (add-hook 'ediff-after-quit-hook-internal
1208 (lambda ()
1209 (setq ediff-after-quit-hook-internal nil)
1210 (set-window-configuration wnd))))
1211 (error "no more than 2 files should be marked"))))
1212 :bind (:map dired-mode-map
1213 ("b" . dired-up-directory)
1214 ("e" . dired-ediff-files)
1215 ("E" . dired-toggle-read-only)
1216 ("\\" . dired-hide-details-mode)
1217 ("z" . (lambda ()
1218 (interactive)
1219 (a/dired-start-process "zathura"))))
1220 :hook (dired-mode . dired-hide-details-mode))
1221 #+end_src
1222
1223 *** Help
1224
1225 #+begin_src emacs-lisp
1226 (use-feature help
1227 :config
1228 (temp-buffer-resize-mode)
1229 (setq help-window-select t))
1230 #+end_src
1231
1232 *** Tramp
1233
1234 #+begin_src emacs-lisp
1235 (use-feature tramp
1236 :config
1237 (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1238 (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1239 (add-to-list 'tramp-default-proxies-alist
1240 (list (regexp-quote (system-name)) nil nil)))
1241 #+end_src
1242
1243 *** Dash
1244
1245 #+begin_src emacs-lisp
1246 (use-package dash
1247 :config (dash-enable-font-lock))
1248 #+end_src
1249
1250 * Editing
1251 :PROPERTIES:
1252 :CUSTOM_ID: editing
1253 :END:
1254
1255 ** =diff-hl=
1256
1257 Highlight uncommitted changes in the left fringe.
1258
1259 #+begin_src emacs-lisp
1260 (use-package diff-hl
1261 :config
1262 (setq diff-hl-draw-borders nil)
1263 (global-diff-hl-mode)
1264 :hook (magit-post-refresh . diff-hl-magit-post-refresh))
1265 #+end_src
1266
1267 ** ElDoc
1268
1269 Display Lisp objects at point in the echo area.
1270
1271 #+begin_src emacs-lisp
1272 (use-feature eldoc
1273 :when (version< "25" emacs-version)
1274 :config (global-eldoc-mode))
1275 #+end_src
1276
1277 ** paren
1278
1279 Highlight matching parens.
1280
1281 #+begin_src emacs-lisp
1282 (use-feature paren
1283 :config (show-paren-mode))
1284 #+end_src
1285
1286 ** =savehist=
1287
1288 Save minibuffer history.
1289
1290 #+begin_src emacs-lisp
1291 (use-feature savehist
1292 :config (savehist-mode))
1293 #+end_src
1294
1295 ** =saveplace=
1296
1297 Automatically save place in each file.
1298
1299 #+begin_src emacs-lisp
1300 (use-feature saveplace
1301 :when (version< "25" emacs-version)
1302 :config (save-place-mode))
1303 #+end_src
1304
1305 ** =prog-mode=
1306
1307 #+begin_src emacs-lisp
1308 (use-feature prog-mode
1309 :config (global-prettify-symbols-mode)
1310 (defun indicate-buffer-boundaries-left ()
1311 (setq indicate-buffer-boundaries 'left))
1312 (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1313 #+end_src
1314
1315 ** =text-mode=
1316
1317 #+begin_src emacs-lisp
1318 (use-feature text-mode
1319 :hook ((text-mode . indicate-buffer-boundaries-left)
1320 (text-mode . abbrev-mode)))
1321 #+end_src
1322
1323 ** Company
1324
1325 #+begin_src emacs-lisp
1326 (use-package company
1327 :defer 1
1328 :bind
1329 (:map company-active-map
1330 ([tab] . company-complete-common-or-cycle)
1331 ([escape] . company-abort))
1332 :custom
1333 (company-minimum-prefix-length 1)
1334 (company-selection-wrap-around t)
1335 (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1336 (company-dabbrev-downcase nil)
1337 (company-dabbrev-ignore-case nil)
1338 :config
1339 (global-company-mode t))
1340 #+end_src
1341
1342 ** Flycheck
1343
1344 #+begin_src emacs-lisp
1345 (use-package flycheck
1346 :defer 3
1347 :hook (prog-mode . flycheck-mode)
1348 :bind
1349 (:map flycheck-mode-map
1350 ("M-P" . flycheck-previous-error)
1351 ("M-N" . flycheck-next-error))
1352 :config
1353 ;; Use the load-path from running Emacs when checking elisp files
1354 (setq flycheck-emacs-lisp-load-path 'inherit)
1355
1356 ;; Only flycheck when I actually save the buffer
1357 (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1358
1359 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1360 (use-package ispell
1361 :defer 3
1362 :config
1363 ;; ’ can be part of a word
1364 (setq ispell-local-dictionary-alist
1365 `((nil "[[:alpha:]]" "[^[:alpha:]]"
1366 "['\x2019]" nil ("-B") nil utf-8)))
1367 ;; don't send ’ to the subprocess
1368 (defun endless/replace-apostrophe (args)
1369 (cons (replace-regexp-in-string
1370 "’" "'" (car args))
1371 (cdr args)))
1372 (advice-add #'ispell-send-string :filter-args
1373 #'endless/replace-apostrophe)
1374
1375 ;; convert ' back to ’ from the subprocess
1376 (defun endless/replace-quote (args)
1377 (if (not (derived-mode-p 'org-mode))
1378 args
1379 (cons (replace-regexp-in-string
1380 "'" "’" (car args))
1381 (cdr args))))
1382 (advice-add #'ispell-parse-output :filter-args
1383 #'endless/replace-quote))
1384 #+end_src
1385
1386 * Programming modes
1387 :PROPERTIES:
1388 :CUSTOM_ID: programming-modes
1389 :END:
1390
1391 ** Lisp
1392
1393 #+begin_src emacs-lisp
1394 (use-feature lisp-mode
1395 :config
1396 (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1397 (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1398 (defun indent-spaces-mode ()
1399 (setq indent-tabs-mode nil))
1400 (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1401 #+end_src
1402
1403 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1404
1405 #+begin_src emacs-lisp
1406 (use-package alloy-mode
1407 :straight (:host github :repo "dwwmmn/alloy-mode")
1408 :config (setq alloy-basic-offset 2))
1409 #+end_src
1410
1411 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1412
1413 #+begin_src emacs-lisp
1414 (use-package proof-site
1415 :straight proof-general)
1416 #+end_src
1417
1418 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1419
1420 #+begin_src emacs-lisp
1421 (eval-when-compile (defvar lean-mode-map))
1422 (use-package lean-mode
1423 :defer 1
1424 :bind (:map lean-mode-map
1425 ("S-SPC" . company-complete))
1426 :config
1427 (require 'lean-input)
1428 (setq default-input-method "Lean"
1429 lean-input-tweak-all '(lean-input-compose
1430 (lean-input-prepend "/")
1431 (lean-input-nonempty))
1432 lean-input-user-translations '(("/" "/")))
1433 (lean-input-setup))
1434 #+end_src
1435
1436 ** Haskell
1437
1438 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1439
1440 #+begin_src emacs-lisp
1441 (use-package haskell-mode
1442 :config
1443 (setq haskell-indentation-layout-offset 4
1444 haskell-indentation-left-offset 4
1445 flycheck-checker 'haskell-hlint
1446 flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1447 #+end_src
1448
1449 *** [[https://github.com/jyp/dante][dante]]
1450
1451 #+begin_src emacs-lisp
1452 (use-package dante
1453 :after haskell-mode
1454 :commands dante-mode
1455 :hook (haskell-mode . dante-mode))
1456 #+end_src
1457
1458 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1459
1460 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1461 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1462
1463 #+begin_src emacs-lisp
1464 (use-package hlint-refactor
1465 :after haskell-mode
1466 :bind (:map hlint-refactor-mode-map
1467 ("C-c l b" . hlint-refactor-refactor-buffer)
1468 ("C-c l r" . hlint-refactor-refactor-at-point))
1469 :hook (haskell-mode . hlint-refactor-mode))
1470 #+end_src
1471
1472 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1473
1474 #+begin_src emacs-lisp
1475 (use-package flycheck-haskell
1476 :after haskell-mode)
1477 #+end_src
1478
1479 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1480 :PROPERTIES:
1481 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1482 :END:
1483
1484 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1485 instead.
1486
1487 #+begin_src emacs-lisp :tangle no
1488 ;;; hs-lint.el --- minor mode for HLint code checking
1489
1490 ;; Copyright 2009 (C) Alex Ott
1491 ;;
1492 ;; Author: Alex Ott <alexott@gmail.com>
1493 ;; Keywords: haskell, lint, HLint
1494 ;; Requirements:
1495 ;; Status: distributed under terms of GPL2 or above
1496
1497 ;; Typical message from HLint looks like:
1498 ;;
1499 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1500 ;; Found:
1501 ;; count1 p l = length (filter p l)
1502 ;; Why not:
1503 ;; count1 p = length . filter p
1504
1505
1506 (require 'compile)
1507
1508 (defgroup hs-lint nil
1509 "Run HLint as inferior of Emacs, parse error messages."
1510 :group 'tools
1511 :group 'haskell)
1512
1513 (defcustom hs-lint-command "hlint"
1514 "The default hs-lint command for \\[hlint]."
1515 :type 'string
1516 :group 'hs-lint)
1517
1518 (defcustom hs-lint-save-files t
1519 "Save modified files when run HLint or no (ask user)"
1520 :type 'boolean
1521 :group 'hs-lint)
1522
1523 (defcustom hs-lint-replace-with-suggestions nil
1524 "Replace user's code with suggested replacements"
1525 :type 'boolean
1526 :group 'hs-lint)
1527
1528 (defcustom hs-lint-replace-without-ask nil
1529 "Replace user's code with suggested replacements automatically"
1530 :type 'boolean
1531 :group 'hs-lint)
1532
1533 (defun hs-lint-process-setup ()
1534 "Setup compilation variables and buffer for `hlint'."
1535 (run-hooks 'hs-lint-setup-hook))
1536
1537 ;; regex for replace suggestions
1538 ;;
1539 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1540 ;; Found:
1541 ;; \s +\(.*\)
1542 ;; Why not:
1543 ;; \s +\(.*\)
1544
1545 (defvar hs-lint-regex
1546 "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1547 "Regex for HLint messages")
1548
1549 (defun make-short-string (str maxlen)
1550 (if (< (length str) maxlen)
1551 str
1552 (concat (substring str 0 (- maxlen 3)) "...")))
1553
1554 (defun hs-lint-replace-suggestions ()
1555 "Perform actual replacement of suggestions"
1556 (goto-char (point-min))
1557 (while (re-search-forward hs-lint-regex nil t)
1558 (let* ((fname (match-string 1))
1559 (fline (string-to-number (match-string 2)))
1560 (old-code (match-string 4))
1561 (new-code (match-string 5))
1562 (msg (concat "Replace '" (make-short-string old-code 30)
1563 "' with '" (make-short-string new-code 30) "'"))
1564 (bline 0)
1565 (eline 0)
1566 (spos 0)
1567 (new-old-code ""))
1568 (save-excursion
1569 (switch-to-buffer (get-file-buffer fname))
1570 (goto-char (point-min))
1571 (forward-line (1- fline))
1572 (beginning-of-line)
1573 (setf bline (point))
1574 (when (or hs-lint-replace-without-ask
1575 (yes-or-no-p msg))
1576 (end-of-line)
1577 (setf eline (point))
1578 (beginning-of-line)
1579 (setf old-code (regexp-quote old-code))
1580 (while (string-match "\\\\ " old-code spos)
1581 (setf new-old-code (concat new-old-code
1582 (substring old-code spos (match-beginning 0))
1583 "\\ *"))
1584 (setf spos (match-end 0)))
1585 (setf new-old-code (concat new-old-code (substring old-code spos)))
1586 (remove-text-properties bline eline '(composition nil))
1587 (when (re-search-forward new-old-code eline t)
1588 (replace-match new-code nil t)))))))
1589
1590 (defun hs-lint-finish-hook (buf msg)
1591 "Function, that is executed at the end of HLint execution"
1592 (if hs-lint-replace-with-suggestions
1593 (hs-lint-replace-suggestions)
1594 (next-error 1 t)))
1595
1596 (define-compilation-mode hs-lint-mode "HLint"
1597 "Mode for check Haskell source code."
1598 (set (make-local-variable 'compilation-process-setup-function)
1599 'hs-lint-process-setup)
1600 (set (make-local-variable 'compilation-disable-input) t)
1601 (set (make-local-variable 'compilation-scroll-output) nil)
1602 (set (make-local-variable 'compilation-finish-functions)
1603 (list 'hs-lint-finish-hook))
1604 )
1605
1606 (defun hs-lint ()
1607 "Run HLint for current buffer with haskell source"
1608 (interactive)
1609 (save-some-buffers hs-lint-save-files)
1610 (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1611 'hs-lint-mode))
1612
1613 (provide 'hs-lint)
1614 ;;; hs-lint.el ends here
1615 #+end_src
1616
1617 #+begin_src emacs-lisp :tangle no
1618 (use-package hs-lint
1619 :load-path "lisp/"
1620 :bind (:map haskell-mode-map
1621 ("C-c l l" . hs-lint)))
1622 #+end_src
1623
1624 ** Web
1625
1626 *** SGML and HTML
1627
1628 #+begin_src emacs-lisp
1629 (use-package sgml-mode
1630 :config
1631 (setq sgml-basic-offset 2))
1632 #+end_src
1633
1634 *** CSS and SCSS
1635
1636 #+begin_src emacs-lisp
1637 (use-package css-mode
1638 :config
1639 (setq css-indent-offset 2))
1640 #+end_src
1641
1642 *** Web mode
1643
1644 #+begin_src emacs-lisp
1645 (use-package web-mode
1646 :mode "\\.html\\'"
1647 :config
1648 (a/setq-every 2
1649 web-mode-code-indent-offset
1650 web-mode-css-indent-offset
1651 web-mode-markup-indent-offset))
1652 #+end_src
1653
1654 *** Emmet mode
1655
1656 #+begin_src emacs-lisp
1657 (use-package emmet-mode
1658 :after (:any web-mode css-mode sgml-mode)
1659 :bind* (("C-)" . emmet-next-edit-point)
1660 ("C-(" . emmet-prev-edit-point))
1661 :config
1662 (unbind-key "C-j" emmet-mode-keymap)
1663 (setq emmet-move-cursor-between-quotes t)
1664 :hook (web-mode css-mode html-mode sgml-mode))
1665 #+end_src
1666
1667 ** COMMENT Java
1668
1669 *** meghanada
1670
1671 #+begin_src emacs-lisp
1672 (use-package meghanada
1673 :bind
1674 (:map meghanada-mode-map
1675 (("C-M-o" . meghanada-optimize-import)
1676 ("C-M-t" . meghanada-import-all)))
1677 :hook (java-mode . meghanada-mode))
1678 #+end_src
1679
1680 *** lsp-java
1681
1682 #+begin_comment
1683 dependencies:
1684
1685 ace-window
1686 avy
1687 bui
1688 company-lsp
1689 dap-mode
1690 lsp-java
1691 lsp-mode
1692 lsp-ui
1693 pfuture
1694 tree-mode
1695 treemacs
1696 #+end_comment
1697
1698 #+begin_src emacs-lisp
1699 (use-package treemacs
1700 :config (setq treemacs-never-persist t))
1701
1702 (use-package yasnippet
1703 :config
1704 ;; (yas-global-mode)
1705 )
1706
1707 (use-package lsp-mode
1708 :init (setq lsp-eldoc-render-all nil
1709 lsp-highlight-symbol-at-point nil)
1710 )
1711
1712 (use-package hydra)
1713
1714 (use-package company-lsp
1715 :after company
1716 :config
1717 (setq company-lsp-cache-candidates t
1718 company-lsp-async t))
1719
1720 (use-package lsp-ui
1721 :config
1722 (setq lsp-ui-sideline-update-mode 'point))
1723
1724 (use-package lsp-java
1725 :config
1726 (add-hook 'java-mode-hook
1727 (lambda ()
1728 (setq-local company-backends (list 'company-lsp))))
1729
1730 (add-hook 'java-mode-hook 'lsp-java-enable)
1731 (add-hook 'java-mode-hook 'flycheck-mode)
1732 (add-hook 'java-mode-hook 'company-mode)
1733 (add-hook 'java-mode-hook 'lsp-ui-mode))
1734
1735 (use-package dap-mode
1736 :after lsp-mode
1737 :config
1738 (dap-mode t)
1739 (dap-ui-mode t))
1740
1741 (use-package dap-java
1742 :after (lsp-java))
1743
1744 (use-package lsp-java-treemacs
1745 :after (treemacs))
1746 #+end_src
1747
1748 ** COMMENT geiser
1749
1750 #+begin_src emacs-lisp
1751 (use-package geiser)
1752
1753 (use-feature geiser-guile
1754 :config
1755 (setq geiser-guile-load-path "~/src/git/guix"))
1756 #+end_src
1757
1758 ** COMMENT guix
1759
1760 #+begin_src emacs-lisp
1761 (use-package guix)
1762 #+end_src
1763
1764 * Emacs enhancements
1765 :PROPERTIES:
1766 :CUSTOM_ID: emacs-enhancements
1767 :END:
1768
1769 ** man
1770
1771 #+begin_src emacs-lisp
1772 (use-feature man
1773 :config (setq Man-width 80))
1774 #+end_src
1775
1776 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1777
1778 #+begin_quote
1779 Emacs package that displays available keybindings in popup
1780 #+end_quote
1781
1782 #+begin_src emacs-lisp
1783 (use-package which-key
1784 :defer 1
1785 :config
1786 (which-key-add-key-based-replacements
1787 ;; prefixes for global prefixes and minor modes
1788 "C-c @" "outline"
1789 "C-c !" "flycheck"
1790 "C-c 8" "typo"
1791 "C-c 8 -" "typo/dashes"
1792 "C-c 8 <" "typo/left-brackets"
1793 "C-c 8 >" "typo/right-brackets"
1794 "C-x 8" "unicode"
1795 "C-x a" "abbrev/expand"
1796 "C-x r" "rectangle/register/bookmark"
1797 "C-x v" "version control"
1798 ;; prefixes for my personal bindings
1799 "C-c a" "applications"
1800 "C-c a s" "shells"
1801 "C-c b" "borg"
1802 "C-c c" "compile-and-comments"
1803 "C-c e" "eval"
1804 "C-c f" "files"
1805 "C-c F" "frames"
1806 "C-S-h" "help(ful)"
1807 "C-c m" "multiple-cursors"
1808 "C-c p" "projectile"
1809 "C-c p s" "projectile/search"
1810 "C-c p x" "projectile/execute"
1811 "C-c p 4" "projectile/other-window"
1812 "C-c q" "boxquote"
1813 "s-g" "magit"
1814 "s-o" "outline"
1815 "s-t" "themes")
1816
1817 ;; prefixes for major modes
1818 (which-key-add-major-mode-key-based-replacements 'message-mode
1819 "C-c f" "footnote")
1820 (which-key-add-major-mode-key-based-replacements 'org-mode
1821 "C-c C-v" "org-babel")
1822 (which-key-add-major-mode-key-based-replacements 'web-mode
1823 "C-c C-a" "web/attributes"
1824 "C-c C-b" "web/blocks"
1825 "C-c C-d" "web/dom"
1826 "C-c C-e" "web/element"
1827 "C-c C-t" "web/tags")
1828
1829 (which-key-mode))
1830 #+end_src
1831
1832 ** theme
1833
1834 #+begin_src emacs-lisp
1835 (add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
1836 (load-theme 'tangomod t)
1837 #+end_src
1838
1839 ** smart-mode-line
1840
1841 #+begin_src emacs-lisp
1842 (use-package smart-mode-line
1843 :commands (sml/apply-theme)
1844 :config
1845 (sml/setup))
1846 #+end_src
1847
1848 ** doom-themes
1849
1850 #+begin_src emacs-lisp
1851 (use-package doom-themes)
1852 #+end_src
1853
1854 ** theme helper functions
1855
1856 #+begin_src emacs-lisp
1857 (defun a/lights-on ()
1858 "Enable my favourite light theme."
1859 (interactive)
1860 (mapc #'disable-theme custom-enabled-themes)
1861 (load-theme 'tangomod t)
1862 (sml/apply-theme 'automatic))
1863
1864 (defun a/lights-off ()
1865 "Go dark."
1866 (interactive)
1867 (mapc #'disable-theme custom-enabled-themes)
1868 (load-theme 'doom-tomorrow-night t)
1869 (sml/apply-theme 'automatic))
1870
1871 (bind-keys
1872 ("s-t d" . a/lights-off)
1873 ("s-t l" . a/lights-on))
1874 #+end_src
1875
1876 ** [[https://github.com/bbatsov/crux][crux]]
1877
1878 #+begin_src emacs-lisp
1879 (use-package crux ; results in Waiting for git... [2 times]
1880 :defer 1
1881 :bind (("C-c b k" . crux-kill-other-buffers)
1882 ("C-c d" . crux-duplicate-current-line-or-region)
1883 ("C-c D" . crux-duplicate-and-comment-current-line-or-region)
1884 ("C-c f c" . crux-copy-file-preserve-attributes)
1885 ("C-c f d" . crux-delete-file-and-buffer)
1886 ("C-c f r" . crux-rename-file-and-buffer)
1887 ("C-c j" . crux-top-join-line)
1888 ("C-S-j" . crux-top-join-line)))
1889 #+end_src
1890
1891 ** [[https://github.com/alezost/mwim.el][mwim]]
1892
1893 #+begin_src emacs-lisp
1894 (use-package mwim
1895 :bind (("C-a" . mwim-beginning-of-code-or-line)
1896 ("C-e" . mwim-end-of-code-or-line)
1897 ("<home>" . mwim-beginning-of-line-or-code)
1898 ("<end>" . mwim-end-of-line-or-code)))
1899 #+end_src
1900
1901 ** projectile
1902
1903 #+begin_src emacs-lisp
1904 (use-package projectile
1905 :bind-keymap ("C-c p" . projectile-command-map)
1906 :config
1907 (projectile-mode)
1908
1909 (defun my-projectile-invalidate-cache (&rest _args)
1910 ;; ignore the args to `magit-checkout'
1911 (projectile-invalidate-cache nil))
1912
1913 (eval-after-load 'magit-branch
1914 '(progn
1915 (advice-add 'magit-checkout
1916 :after #'my-projectile-invalidate-cache)
1917 (advice-add 'magit-branch-and-checkout
1918 :after #'my-projectile-invalidate-cache)))
1919 :custom (projectile-completion-system 'ivy))
1920 #+end_src
1921
1922 ** [[https://github.com/Wilfred/helpful][helpful]]
1923
1924 #+begin_src emacs-lisp
1925 (use-package helpful
1926 :defer 1
1927 :bind
1928 (("C-S-h c" . helpful-command)
1929 ("C-S-h f" . helpful-callable) ; helpful-function
1930 ("C-S-h v" . helpful-variable)
1931 ("C-S-h k" . helpful-key)
1932 ("C-S-h p" . helpful-at-point)))
1933 #+end_src
1934
1935 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1936
1937 Make =*scratch*= and =*Messages*= unkillable.
1938
1939 #+begin_src emacs-lisp
1940 (use-package unkillable-scratch
1941 :defer 3
1942 :config
1943 (unkillable-scratch 1)
1944 :custom
1945 (unkillable-scratch-behavior 'do-nothing)
1946 (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1947 #+end_src
1948
1949 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1950
1951 #+begin_example
1952 ,----
1953 | make pretty boxed quotes like this
1954 `----
1955 #+end_example
1956
1957 #+begin_src emacs-lisp
1958 (use-package boxquote
1959 :defer 3
1960 :bind
1961 (:prefix-map a/boxquote-prefix-map
1962 :prefix "C-c q"
1963 ("b" . boxquote-buffer)
1964 ("B" . boxquote-insert-buffer)
1965 ("d" . boxquote-defun)
1966 ("F" . boxquote-insert-file)
1967 ("hf" . boxquote-describe-function)
1968 ("hk" . boxquote-describe-key)
1969 ("hv" . boxquote-describe-variable)
1970 ("hw" . boxquote-where-is)
1971 ("k" . boxquote-kill)
1972 ("p" . boxquote-paragraph)
1973 ("q" . boxquote-boxquote)
1974 ("r" . boxquote-region)
1975 ("s" . boxquote-shell-command)
1976 ("t" . boxquote-text)
1977 ("T" . boxquote-title)
1978 ("u" . boxquote-unbox)
1979 ("U" . boxquote-unbox-region)
1980 ("y" . boxquote-yank)
1981 ("M-q" . boxquote-fill-paragraph)
1982 ("M-w" . boxquote-kill-ring-save)))
1983 #+end_src
1984
1985 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1986
1987 ** orgalist
1988
1989 #+begin_src emacs-lisp
1990 (use-package orgalist
1991 :after message
1992 :hook (message-mode . orgalist-mode))
1993 #+end_src
1994
1995 ** typo.el
1996
1997 #+begin_src emacs-lisp
1998 (use-package typo
1999 :defer 2
2000 :config
2001 (typo-global-mode 1)
2002 :hook (text-mode . typo-mode))
2003 #+end_src
2004
2005 ** hl-todo
2006
2007 #+begin_src emacs-lisp
2008 (use-package hl-todo
2009 :defer 4
2010 :config
2011 (global-hl-todo-mode))
2012 #+end_src
2013
2014 ** shrink-path
2015
2016 #+begin_src emacs-lisp
2017 (use-package shrink-path
2018 :after eshell
2019 :config
2020 (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
2021 eshell-prompt-function #'+eshell/prompt)
2022
2023 (defun +eshell/prompt ()
2024 (let ((base/dir (shrink-path-prompt default-directory)))
2025 (concat (propertize (car base/dir)
2026 'face 'font-lock-comment-face)
2027 (propertize (cdr base/dir)
2028 'face 'font-lock-constant-face)
2029 (propertize (+eshell--current-git-branch)
2030 'face 'font-lock-function-name-face)
2031 "\n"
2032 (propertize "λ" 'face 'eshell-prompt-face)
2033 ;; needed for the input text to not have prompt face
2034 (propertize " " 'face 'default))))
2035
2036 (defun +eshell--current-git-branch ()
2037 (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
2038 when (string-match "^\*" match)
2039 collect match))))
2040 (if (not (eq branch nil))
2041 (concat " " (substring branch 2))
2042 ""))))
2043 #+end_src
2044
2045 ** [[https://github.com/peterwvj/eshell-up][eshell-up]]
2046
2047 #+begin_src emacs-lisp
2048 (use-package eshell-up
2049 :after eshell)
2050 #+end_src
2051
2052 ** multi-term
2053
2054 #+begin_src emacs-lisp
2055 (use-package multi-term
2056 :defer 1
2057 :bind (("C-c a s m" . multi-term-dedicated-toggle)
2058 :map term-mode-map
2059 ("C-c C-j" . term-char-mode)
2060 :map term-raw-map
2061 ("C-c C-j" . term-line-mode))
2062 :config
2063 (setq multi-term-program "/bin/screen"
2064 ;; TODO: add separate bindings for connecting to existing
2065 ;; session vs. always creating a new one
2066 multi-term-dedicated-select-after-open-p t
2067 multi-term-dedicated-window-height 20
2068 multi-term-dedicated-max-window-height 30
2069 term-bind-key-alist
2070 '(("C-c C-c" . term-interrupt-subjob)
2071 ("C-c C-e" . term-send-esc)
2072 ("C-k" . kill-line)
2073 ("C-y" . term-paste)
2074 ("M-f" . term-send-forward-word)
2075 ("M-b" . term-send-backward-word)
2076 ("M-p" . term-send-up)
2077 ("M-n" . term-send-down)
2078 ("<C-backspace>" . term-send-backward-kill-word)
2079 ("<M-DEL>" . term-send-backward-kill-word)
2080 ("M-d" . term-send-delete-word)
2081 ("M-," . term-send-raw)
2082 ("M-." . comint-dynamic-complete))
2083 term-unbind-key-alist
2084 '("C-z" "C-x" "C-c" "C-h" "C-y" "<ESC>")))
2085 #+end_src
2086
2087 ** page-break-lines
2088
2089 #+begin_src emacs-lisp
2090 (use-package page-break-lines
2091 :config
2092 (global-page-break-lines-mode))
2093 #+end_src
2094
2095 ** expand-region
2096
2097 #+begin_src emacs-lisp
2098 (use-package expand-region
2099 :bind ("C-=" . er/expand-region))
2100 #+end_src
2101
2102 ** multiple-cursors
2103
2104 #+begin_src emacs-lisp
2105 (use-package multiple-cursors
2106 :bind
2107 (("C-S-<mouse-1>" . mc/add-cursor-on-click)
2108 (:prefix-map a/mc-prefix-map
2109 :prefix "C-c m"
2110 ("c" . mc/edit-lines)
2111 ("n" . mc/mark-next-like-this)
2112 ("p" . mc/mark-previous-like-this)
2113 ("a" . mc/mark-all-like-this))))
2114 #+end_src
2115
2116 * Email
2117 :PROPERTIES:
2118 :CUSTOM_ID: email
2119 :END:
2120
2121 #+begin_src emacs-lisp
2122 (defvar a/maildir (expand-file-name "~/mail/"))
2123 (with-eval-after-load 'recentf
2124 (add-to-list 'recentf-exclude a/maildir))
2125 #+end_src
2126
2127 ** Gnus
2128
2129 #+begin_src emacs-lisp
2130 (setq
2131 a/gnus-init-file (no-littering-expand-etc-file-name "gnus")
2132 mail-user-agent 'gnus-user-agent
2133 read-mail-command 'gnus)
2134
2135 (use-feature gnus
2136 :bind (("s-m" . gnus)
2137 ("s-M" . gnus-unplugged))
2138 :init
2139 (setq
2140 gnus-select-method '(nnnil "")
2141 gnus-secondary-select-methods
2142 '((nnimap "amin"
2143 (nnimap-stream plain)
2144 (nnimap-address "127.0.0.1")
2145 (nnimap-server-port 143)
2146 (nnimap-authenticator plain)
2147 (nnimap-user "amin@aminb.org"))
2148 (nnimap "uwaterloo"
2149 (nnimap-stream plain)
2150 (nnimap-address "127.0.0.1")
2151 (nnimap-server-port 143)
2152 (nnimap-authenticator plain)
2153 (nnimap-user "abandali@uwaterloo.ca")))
2154 gnus-message-archive-group "nnimap+amin:Sent"
2155 gnus-parameters
2156 '(("gnu.*"
2157 (gcc-self . t)))
2158 gnus-large-newsgroup 50
2159 gnus-home-directory (no-littering-expand-var-file-name "gnus/")
2160 gnus-directory (concat gnus-home-directory "news/")
2161 message-directory (concat gnus-home-directory "mail/")
2162 nndraft-directory (concat gnus-home-directory "drafts/")
2163 gnus-save-newsrc-file nil
2164 gnus-read-newsrc-file nil
2165 gnus-interactive-exit nil
2166 gnus-gcc-mark-as-read t))
2167
2168 (use-feature gnus-art
2169 :config
2170 (setq
2171 gnus-visible-headers
2172 (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
2173 gnus-sorted-header-list
2174 '("^From:" "^Subject:" "^Summary:" "^Keywords:"
2175 "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
2176 "^Newsgroups:" "List-Id:" "^Organization:"
2177 "^User-Agent:" "^Date:")
2178 ;; local-lapsed article dates
2179 ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
2180 gnus-article-date-headers '(user-defined)
2181 gnus-article-time-format
2182 (lambda (time)
2183 (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
2184 (local (article-make-date-line date 'local))
2185 (combined-lapsed (article-make-date-line date
2186 'combined-lapsed))
2187 (lapsed (progn
2188 (string-match " (.+" combined-lapsed)
2189 (match-string 0 combined-lapsed))))
2190 (concat local lapsed))))
2191 (bind-keys
2192 :map gnus-article-mode-map
2193 ("r" . gnus-article-reply-with-original)
2194 ("R" . gnus-article-wide-reply-with-original)
2195 ("M-L" . org-store-link)))
2196
2197 (use-feature gnus-sum
2198 :bind (:map gnus-summary-mode-map
2199 :prefix-map a/gnus-summary-prefix-map
2200 :prefix "v"
2201 ("r" . gnus-summary-reply)
2202 ("w" . gnus-summary-wide-reply)
2203 ("v" . gnus-summary-show-raw-article))
2204 :config
2205 (bind-keys
2206 :map gnus-summary-mode-map
2207 ("r" . gnus-summary-reply-with-original)
2208 ("R" . gnus-summary-wide-reply-with-original)
2209 ("M-L" . org-store-link))
2210 :hook (gnus-summary-mode . a/no-mouse-autoselect-window))
2211
2212 (use-feature gnus-msg
2213 :config
2214 (setq gnus-posting-styles
2215 '((".*"
2216 (address "amin@aminb.org")
2217 (body "\nBest,\namin\n")
2218 (eval (setq a/message-cite-say-hi t)))
2219 ("gnu.*"
2220 (address "bandali@gnu.org"))
2221 ((header "subject" "ThankCRM")
2222 (to "webmasters-comment@gnu.org")
2223 (body "\nAdded to 2018supporters.html.\n\nMoving to campaigns.\n\n-amin\n")
2224 (eval (setq a/message-cite-say-hi nil)))
2225 ("nnimap\\+uwaterloo:.*"
2226 (address "abandali@uwaterloo.ca")
2227 (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
2228
2229 (use-feature gnus-topic
2230 :hook (gnus-group-mode . gnus-topic-mode))
2231
2232 (use-feature gnus-agent
2233 :config
2234 (setq gnus-agent-synchronize-flags 'ask)
2235 :hook (gnus-group-mode . gnus-agent-mode))
2236
2237 (use-feature gnus-group
2238 :config
2239 (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
2240
2241 (use-feature mm-decode
2242 :config
2243 (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
2244 #+end_src
2245
2246 ** sendmail
2247
2248 #+begin_src emacs-lisp
2249 (use-feature sendmail
2250 :config
2251 (setq sendmail-program "/usr/bin/msmtp"
2252 ;; message-sendmail-extra-arguments '("-v" "-d")
2253 mail-specify-envelope-from t
2254 mail-envelope-from 'header))
2255 #+end_src
2256
2257 ** message
2258
2259 #+begin_src emacs-lisp
2260 (use-feature message
2261 :config
2262 (defconst a/message-cite-style-format "On %Y-%m-%d %l:%M %p, %N wrote:")
2263 (defconst message-cite-style-bandali
2264 '((message-cite-function 'message-cite-original)
2265 (message-citation-line-function 'message-insert-formatted-citation-line)
2266 (message-cite-reply-position 'traditional)
2267 (message-yank-prefix "> ")
2268 (message-yank-cited-prefix ">")
2269 (message-yank-empty-prefix ">")
2270 (message-citation-line-format
2271 (if a/message-cite-say-hi
2272 (concat "Hi %F,\n\n" a/message-cite-style-format)
2273 a/message-cite-style-format)))
2274 "Citation style based on Mozilla Thunderbird's. Use with message-cite-style.")
2275 (setq message-cite-style 'message-cite-style-bandali
2276 message-kill-buffer-on-exit t
2277 message-send-mail-function 'message-send-mail-with-sendmail
2278 message-sendmail-envelope-from 'header
2279 message-dont-reply-to-names
2280 "\\(\\(.*@aminb\\.org\\)\\|\\(amin@bandali\\.me\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
2281 message-user-fqdn "aminb.org")
2282 :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
2283 (message-mode . flyspell-mode)
2284 (message-mode . (lambda ()
2285 ;; (setq fill-column 65
2286 ;; message-fill-column 65)
2287 (make-local-variable 'company-idle-delay)
2288 (setq company-idle-delay 0.2))))
2289 ;; :custom-face
2290 ;; (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
2291 ;; (message-header-to ((t (:foreground "#111" :weight normal))))
2292 ;; (message-header-cc ((t (:foreground "#333" :weight normal))))
2293 )
2294
2295 (with-eval-after-load 'mml-sec
2296 (setq mml-secure-openpgp-encrypt-to-self t
2297 mml-secure-openpgp-sign-with-sender t))
2298 #+end_src
2299
2300 ** footnote
2301
2302 Convenient footnotes in =message-mode=.
2303
2304 #+begin_src emacs-lisp
2305 (use-feature footnote
2306 :after message
2307 :bind
2308 (:map message-mode-map
2309 :prefix-map a/footnote-prefix-map
2310 :prefix "C-c f"
2311 ("a" . footnote-add-footnote)
2312 ("b" . footnote-back-to-message)
2313 ("c" . footnote-cycle-style)
2314 ("d" . footnote-delete-footnote)
2315 ("g" . footnote-goto-footnote)
2316 ("r" . footnote-renumber-footnotes)
2317 ("s" . footnote-set-style))
2318 :config
2319 (setq footnote-start-tag ""
2320 footnote-end-tag ""
2321 footnote-style 'unicode))
2322 #+end_src
2323
2324 ** ebdb
2325
2326 #+begin_src emacs-lisp
2327 (use-package ebdb
2328 :after gnus
2329 :bind (:map gnus-group-mode-map ("e" . ebdb))
2330 :config
2331 (setq ebdb-sources (no-littering-expand-var-file-name "ebdb"))
2332 (with-eval-after-load 'swiper
2333 (add-to-list 'swiper-font-lock-exclude 'ebdb-mode t)))
2334
2335 (use-feature ebdb-com
2336 :after ebdb)
2337
2338 ;; (use-package ebdb-complete
2339 ;; :after ebdb
2340 ;; :config
2341 ;; (ebdb-complete-enable))
2342
2343 (use-package company-ebdb
2344 :after (:all company message)
2345 :config
2346 (defun company-ebdb--post-complete (_) nil)
2347 :hook
2348 (message-mode . (lambda ()
2349 (add-to-list (make-local-variable 'company-backends)
2350 'company-ebdb))))
2351
2352 (use-feature ebdb-gnus
2353 :after ebdb
2354 :custom
2355 (ebdb-gnus-window-configuration
2356 '(article
2357 (vertical 1.0
2358 (summary 0.25 point)
2359 (horizontal 1.0
2360 (article 1.0)
2361 (ebdb-gnus 0.3))))))
2362
2363 (use-feature ebdb-mua
2364 :after ebdb
2365 ;; :custom (ebdb-mua-pop-up nil)
2366 )
2367
2368 ;; (use-package ebdb-message
2369 ;; :after ebdb)
2370
2371
2372 ;; (use-package ebdb-vcard
2373 ;; :after ebdb)
2374 #+end_src
2375
2376 ** COMMENT message-x
2377
2378 #+begin_src emacs-lisp
2379 (use-package message-x
2380 :custom
2381 (message-x-completion-alist
2382 (quote
2383 (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
2384 ((if
2385 (boundp
2386 (quote message-newgroups-header-regexp))
2387 message-newgroups-header-regexp message-newsgroups-header-regexp)
2388 . message-expand-group)))))
2389 #+end_src
2390
2391 ** COMMENT gnus-harvest
2392
2393 #+begin_src emacs-lisp
2394 (use-package gnus-harvest
2395 :commands gnus-harvest-install
2396 :demand t
2397 :config
2398 (if (featurep 'message-x)
2399 (gnus-harvest-install 'message-x)
2400 (gnus-harvest-install)))
2401 #+end_src
2402
2403 * Blogging
2404 :PROPERTIES:
2405 :CUSTOM_ID: blogging
2406 :END:
2407
2408 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2409
2410 #+begin_src emacs-lisp
2411 (use-package ox-hugo
2412 :after ox)
2413
2414 (use-feature ox-hugo-auto-export
2415 :after ox-hugo)
2416 #+end_src
2417
2418 * Post initialization
2419 :PROPERTIES:
2420 :CUSTOM_ID: post-initialization
2421 :END:
2422
2423 Display how long it took to load the init file.
2424
2425 #+begin_src emacs-lisp
2426 (message "Loading %s...done (%.3fs)" user-init-file
2427 (float-time (time-subtract (current-time)
2428 a/before-user-init-time)))
2429 #+end_src
2430
2431 * Footer
2432 :PROPERTIES:
2433 :CUSTOM_ID: footer
2434 :END:
2435
2436 #+begin_src emacs-lisp :comments none
2437 ;;; init.el ends here
2438 #+end_src
2439
2440 * COMMENT Local Variables :ARCHIVE:
2441 # Local Variables:
2442 # eval: (add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local)
2443 # eval: (typo-mode -1)
2444 # End: