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