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