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