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