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