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