1 #+title: =aminb='s Literate Emacs Configuration
4 #+property: header-args :tangle yes
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:
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
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]]
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.
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:
43 #+begin_src sh :tangle no
44 git clone https://github.com/aminb/dotfiles ~/.emacs.d
51 * Contents :toc_1:noexport:
55 - [[#initial-setup][Initial setup]]
57 - [[#post-initialization][Post initialization]]
67 #+begin_src emacs-lisp :comments none
68 ;;; init.el --- Amin Bandali's Emacs config -*- lexical-binding: t; eval: (view-mode 1) -*-
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
78 #+begin_src emacs-lisp :comments none
79 ;; Copyright (C) 2018 Amin Bandali <bandali@gnu.org>
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.
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.
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/>.
97 #+begin_src emacs-lisp :comments none
100 ;; Emacs configuration of Amin Bandali, computer scientist and functional
103 ;; THIS FILE IS AUTO-GENERATED FROM `init.org'.
106 ** Naming conventions
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]].
110 #+begin_src emacs-lisp :comments none
111 ;; Naming conventions:
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|... a hook function
117 ;; amin*... an advising function
118 ;; amin@... a hydra command
124 :CUSTOM_ID: initial-setup
127 ** Emacs initialization
129 I'd like to do a couple of measurements of Emacs' startup time. First,
130 let's see how long Emacs takes to start up, before even loading
131 =init.el=, i.e. =user-init-file=:
133 #+begin_src emacs-lisp
134 (defvar amin--before-user-init-time (current-time)
135 "Value of `current-time' when Emacs begins loading `user-init-file'.")
136 (message "Loading Emacs...done (%.3fs)"
137 (float-time (time-subtract amin--before-user-init-time
141 Also, temporarily increase ~gc-cons-threshhold~ and
142 ~gc-cons-percentage~ during startup to reduce garbage collection
143 frequency. Clearing the ~file-name-handler-alist~ seems to help reduce
144 startup time as well.
146 #+begin_src emacs-lisp
147 (defvar amin--gc-cons-threshold gc-cons-threshold)
148 (defvar amin--gc-cons-percentage gc-cons-percentage)
149 (defvar amin--file-name-handler-alist file-name-handler-alist)
150 (setq gc-cons-threshold (* 400 1024 1024) ; 400 MiB
151 gc-cons-percentage 0.6
152 file-name-handler-alist nil
153 ;; sidesteps a bug when profiling with esup
154 esup-child-profile-require-level 0)
157 Of course, we'd like to set them back to their defaults once we're
160 #+begin_src emacs-lisp
164 (setq gc-cons-threshold amin--gc-cons-threshold
165 gc-cons-percentage amin--gc-cons-percentage
166 file-name-handler-alist amin--file-name-handler-alist)))
169 Increase the number of lines kept in message logs (the =*Messages*=
172 #+begin_src emacs-lisp
173 (setq message-log-max 20000)
176 Optionally, we could suppress some byte compiler warnings like below,
177 but for now I've decided to keep them enabled. See documentation for
178 ~byte-compile-warnings~ for more details.
180 #+begin_src emacs-lisp
181 ;; (setq byte-compile-warnings
182 ;; '(not free-vars unresolved noruntime lexical make-local))
187 #+begin_src emacs-lisp
188 (setq user-full-name "Amin Bandali"
189 user-mail-address "amin@aminb.org")
192 ** Package management
196 I can do all my package management things with Borg, and don't need
197 Emacs' built-in =package.el=. Emacs 27 lets us disable =package.el= in
198 the =early-init-file= (see [[https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=24acb31c04b4048b85311d794e600ecd7ce60d3b][here]]).
200 #+begin_src emacs-lisp :tangle early-init.el
201 (setq package-enable-at-startup nil)
204 But since Emacs 27 isn't out yet (Emacs 26 is just around the corner
205 right now), and even when released it'll be long before most distros
206 ship in their repos, I'll still put the old workaround with the
207 commented call to ~package-initialize~ here anyway.
209 #+begin_src emacs-lisp
210 (setq package-enable-at-startup nil)
211 ;; (package-initialize)
217 Assimilate Emacs packages as Git submodules
220 [[https://github.com/emacscollective/borg][Borg]] is at the heart of package management of my Emacs setup. In
221 short, it creates a git submodule in =lib/= for each package, which
222 can then be managed with the help of Magit or other tools.
224 #+begin_src emacs-lisp
225 (setq user-init-file (or load-file-name buffer-file-name)
226 user-emacs-directory (file-name-directory user-init-file))
227 (add-to-list 'load-path
228 (expand-file-name "lib/borg" user-emacs-directory))
232 ;; (require 'borg-nix-shell)
233 ;; (setq borg-build-shell-command 'borg-nix-shell-build-command)
235 (with-eval-after-load 'bind-key
238 ("C-c b A" . borg-activate)
239 ("C-c b a" . borg-assimilate)
240 ("C-c b b" . borg-build)
241 ("C-c b c" . borg-clone)
242 ("C-c b r" . borg-remove)))
248 A use-package declaration for simplifying your .emacs
251 [[https://github.com/jwiegley/use-package][use-package]] is an awesome utility for managing and configuring
252 packages (in our case especially the latter) in a neatly organized way
253 and without compromising on performance.
255 #+begin_src emacs-lisp
256 (require 'use-package)
257 (if nil ; set to t when need to debug init
258 (setq use-package-verbose t
259 use-package-expand-minimally nil
260 use-package-compute-statistics t
262 (setq use-package-verbose nil
263 use-package-expand-minimally t))
269 Browse the Emacsmirror package database
272 Epkg provides access to a local copy of the [[https://emacsmirror.net][Emacsmirror]] package
273 database, low-level functions for querying the database, and a
274 =package.el=-like user interface for browsing the available packages.
276 #+begin_src emacs-lisp
280 (("C-c b d" . epkg-describe-package)
281 ("C-c b p" . epkg-list-packages)
282 ("C-c b u" . epkg-update)))
285 ** No littering in =~/.emacs.d=
288 Help keeping ~/.emacs.d clean
291 By default, even for Emacs' built-in packages, the configuration files
292 and persistent data are all over the place. Use =no-littering= to help
295 #+begin_src emacs-lisp
296 (use-package no-littering
300 (add-to-list 'savehist-additional-variables 'kill-ring)
302 (setq auto-save-file-name-transforms
303 `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
306 ** Custom file (=custom.el=)
308 I'm not planning on using the custom file much, but even so, I
309 definitely don't want it mixing with =init.el=. So, here; let's give
310 it it's own file. While at it, treat themes as safe.
312 #+begin_src emacs-lisp
316 (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
317 (when (file-exists-p custom-file)
319 (setf custom-safe-themes t))
324 Load the secrets file if it exists, otherwise show a warning.
326 #+begin_src emacs-lisp
328 (load (no-littering-expand-etc-file-name "secrets")))
331 ** Better =$PATH= handling
333 Let's use [[https://github.com/purcell/exec-path-from-shell][exec-path-from-shell]] to make Emacs use the =$PATH= as set up
336 #+begin_src emacs-lisp
337 (use-package exec-path-from-shell
340 (setq exec-path-from-shell-check-startup-files nil)
342 (exec-path-from-shell-initialize)
343 ;; while we're at it, let's fix access to our running ssh-agent
344 (exec-path-from-shell-copy-env "SSH_AGENT_PID")
345 (exec-path-from-shell-copy-env "SSH_AUTH_SOCK"))
348 ** COMMENT Only one custom theme at a time
350 #+begin_src emacs-lisp
351 (defadvice load-theme (before clear-previous-themes activate)
352 "Clear existing theme settings instead of layering them"
353 (mapc #'disable-theme custom-enabled-themes))
358 Start server if not already running. Alternatively, can be done by
359 issuing =emacs --daemon= in the terminal, which can be automated with
360 a systemd service or using =brew services start emacs= on macOS. I use
361 Emacs as my window manager (via EXWM), so I always start Emacs on
362 login; so starting the server from inside Emacs is good enough for me.
364 See [[https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server][Using Emacs as a Server]].
366 #+begin_src emacs-lisp
369 :config (or (server-running-p) (server-mode)))
372 ** COMMENT Unicode support
374 Font stack with better unicode support, around =Ubuntu Mono= and
377 #+begin_src emacs-lisp
378 (dolist (ft (fontset-list))
382 (font-spec :name "Source Code Pro" :size 14))
386 (font-spec :name "DejaVu Sans Mono")
393 ;; :name "Symbola monospacified for DejaVu Sans Mono")
399 ;; (font-spec :name "DejaVu Sans Mono")
405 (font-spec :name "DejaVu Sans Mono" :size 14)
410 ** Gentler font resizing
412 #+begin_src emacs-lisp
413 (setq text-scale-mode-step 1.05)
416 ** Focus follows mouse
418 I’d like focus to follow the mouse when I move the cursor from one
421 #+begin_src emacs-lisp
422 (setq mouse-autoselect-window t)
425 Let’s define a function to conveniently disable this for certain
426 buffers and/or modes.
428 #+begin_src emacs-lisp
429 (defun amin--no-mouse-autoselect-window ()
430 (make-local-variable 'mouse-autoselect-window)
431 (setq mouse-autoselect-window nil))
436 #+begin_src emacs-lisp
443 #+begin_src emacs-lisp
444 (defun amin-enlist (exp)
445 "Return EXP wrapped in a list, or as-is if already a list."
446 (if (listp exp) exp (list exp)))
448 ; from https://github.com/hlissner/doom-emacs/commit/589108fdb270f24a98ba6209f6955fe41530b3ef
449 (defmacro after! (features &rest body)
450 "A smart wrapper around `with-eval-after-load'. Supresses warnings during
452 (declare (indent defun) (debug t))
453 (list (if (or (not (bound-and-true-p byte-compile-current-file))
454 (dolist (next (amin-enlist features))
456 (require next nil :no-error)
457 (load next :no-message :no-error))))
460 (cond ((symbolp features)
461 `(eval-after-load ',features '(progn ,@body)))
462 ((and (consp features)
463 (memq (car features) '(:or :any)))
465 ,@(cl-loop for next in (cdr features)
466 collect `(after! ,next ,@body))))
467 ((and (consp features)
468 (memq (car features) '(:and :all)))
469 (dolist (next (cdr features))
470 (setq body `(after! ,next ,@body)))
473 `(after! (:all ,@features) ,@body)))))
476 Convenience macro for =setq='ing multiple variables to the same value:
478 #+begin_src emacs-lisp
479 (defmacro setq-every! (value &rest vars)
480 "Set all the variables from VARS to value VALUE."
481 (declare (indent defun) (debug t))
482 `(progn ,@(mapcar (lambda (x) (list 'setq x value)) vars)))
492 *** Time and battery in mode-line
494 Enable displaying time and battery in the mode-line, since I'm not
495 using the Xfce panel anymore. Also, I don't need to see the load
496 average on a regular basis, so disable that.
498 Note: using =i3status= on sway at the moment, so disabling this.
500 #+begin_src emacs-lisp :tangle no
503 (setq display-time-default-load-average nil)
509 (display-battery-mode))
514 Might want to set the fringe to a smaller value, especially if using
515 EXWM. I'm fine with the default for now.
517 #+begin_src emacs-lisp
518 ;; (fringe-mode '(3 . 1))
522 *** Disable disabled commands
524 Emacs disables some commands by default that could persumably be
525 confusing for novice users. Let's disable that.
527 #+begin_src emacs-lisp
528 (setq disabled-command-function nil)
533 Save what I copy into clipboard from other applications into Emacs'
534 kill-ring, which would allow me to still be able to easily access it
535 in case I kill (cut or copy) something else inside Emacs before
536 yanking (pasting) what I'd originally intended to.
538 #+begin_src emacs-lisp
539 (setq save-interprogram-paste-before-kill t)
544 #+begin_src emacs-lisp
545 (setq enable-recursive-minibuffers t
546 resize-mini-windows t)
549 *** Lazy-person-friendly yes/no prompts
551 Lazy people would prefer to type fewer keystrokes, especially for yes
552 or no questions. I'm lazy.
554 #+begin_src emacs-lisp
555 (defalias 'yes-or-no-p #'y-or-n-p)
558 *** Startup screen and =*scratch*=
560 Firstly, let Emacs know that I'd like to have =*scratch*= as my
563 #+begin_src emacs-lisp
564 (setq initial-buffer-choice t)
567 Now let's customize the =*scratch*= buffer a bit. First off, I don't
568 need the default hint.
570 #+begin_src emacs-lisp
571 (setq initial-scratch-message nil)
574 Also, let's use Text mode as the major mode, in case I want to
575 customize it (=*scratch*='s default major mode, Fundamental mode,
576 can't really be customized).
578 #+begin_src emacs-lisp
579 (setq initial-major-mode 'text-mode)
582 Inhibit the buffer list when more than 2 files are loaded.
584 #+begin_src emacs-lisp
585 (setq inhibit-startup-buffer-menu t)
588 I don't really need to see the startup screen or echo area message
591 #+begin_src emacs-lisp
592 (advice-add #'display-startup-echo-area-message :override #'ignore)
593 (setq inhibit-startup-screen t
594 inhibit-startup-echo-area-message user-login-name)
597 *** More useful frame titles
599 Show either the file name or the buffer name (in case the buffer isn't
600 visiting a file). Borrowed from Emacs Prelude.
602 #+begin_src emacs-lisp
603 (setq frame-title-format
604 '("" invocation-name " - "
605 (:eval (if (buffer-file-name)
606 (abbreviate-file-name (buffer-file-name))
612 Emacs' default backup settings aren't that great. Let's use more
613 sensible options. See documentation for the ~make-backup-file~
616 #+begin_src emacs-lisp
617 (setq backup-by-copying t
619 delete-old-versions t)
624 Enable automatic reloading of changed buffers and files.
626 #+begin_src emacs-lisp
627 (global-auto-revert-mode 1)
628 (setq auto-revert-verbose nil
629 global-auto-revert-non-file-buffers nil)
632 *** Always use space for indentation
634 #+begin_src emacs-lisp
637 require-final-newline t
643 Enable =winner-mode=.
645 #+begin_src emacs-lisp
649 *** COMMENT Close =*compilation*= on success
651 #+begin_src emacs-lisp
652 (setq compilation-exit-message-function
653 (lambda (status code msg)
654 "Close the compilation window if successful."
655 ;; if M-x compile exits with 0
656 (when (and (eq status 'exit) (zerop code))
658 (delete-window (get-buffer-window (get-buffer "*compilation*"))))
659 ;; return the result of compilation-exit-message-function
663 *** Search for non-ASCII characters
665 I’d like non-ASCII characters such as ‘’“”«»‹›áⓐ𝒶 to be selected when
666 I search for their ASCII counterpart. Shoutout to [[http://endlessparentheses.com/new-in-emacs-25-1-easily-search-non-ascii-characters.html][endlessparentheses]]
669 #+begin_src emacs-lisp
670 (setq search-default-mode #'char-fold-to-regexp)
672 ;; uncomment to extend this behaviour to query-replace
673 ;; (setq replace-char-fold t)
678 #+begin_src emacs-lisp
682 ("C-c e b" . eval-buffer)
683 ("C-c e r" . eval-region)
685 ("C-c F m" . make-frame-command)
686 ("C-c F d" . delete-frame)
687 ("C-c F D" . delete-other-frames)
689 ("C-c o" . other-window)
691 ("C-c Q" . save-buffers-kill-terminal)
693 ("C-S-h C" . describe-char)
694 ("C-S-h F" . describe-face)
696 ("C-x K" . kill-this-buffer)
698 ("s-p" . beginning-of-buffer)
699 ("s-n" . end-of-buffer))
704 The packages in this section are absolutely essential to my everyday
705 workflow, and they play key roles in how I do my computing. They
706 immensely enhance the Emacs experience for me; both using Emacs, and
709 *** [[https://github.com/emacscollective/auto-compile][auto-compile]]
711 #+begin_src emacs-lisp
712 (use-package auto-compile
715 (auto-compile-on-load-mode)
716 (auto-compile-on-save-mode)
717 (setq auto-compile-display-buffer nil
718 auto-compile-mode-line-counter t
719 auto-compile-source-recreate-deletes-dest t
720 auto-compile-toggle-deletes-nonlib-dest t
721 auto-compile-update-autoloads t)
722 (add-hook 'auto-compile-inhibit-compile-hook
723 'auto-compile-inhibit-compile-detached-git-head))
726 *** [[https://orgmode.org/][Org mode]]
729 Org mode is for keeping notes, maintaining TODO lists, planning
730 projects, and authoring documents with a fast and effective plain-text
734 In short, my favourite way of life.
736 #+begin_src emacs-lisp
740 (setq org-src-tab-acts-natively t
741 org-src-preserve-indentation nil
742 org-edit-src-content-indentation 0
743 org-email-link-description-format "Email %c: %s" ; %.30s
744 org-highlight-latex-and-related '(entities)
746 (add-to-list 'org-structure-template-alist '("L" . "src emacs-lisp") t)
747 (font-lock-add-keywords
749 '(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)"
750 (1 '(:foreground "#5a5b5a" :background "#292b2b") t) ; directive
751 (3 '(:foreground "#81a2be" :background "#292b2b") t) ; kind
752 (4 '(:foreground "#c5c8c6") t))) ; title
754 :bind (:map org-mode-map ("M-L" . org-insert-last-stored-link))
755 :hook ((org-mode . org-indent-mode)
756 (org-mode . auto-fill-mode)
757 (org-mode . flyspell-mode))
759 (org-latex-packages-alist '(("" "listings") ("" "color")))
761 '(org-block-begin-line ((t (:foreground "#5a5b5a" :background "#1d1f21"))))
762 '(org-block ((t (:background "#1d1f21"))))
763 '(org-latex-and-related ((t (:foreground "#b294bb")))))
765 (use-package ox-latex
768 (setq org-latex-listings 'listings
769 ;; org-latex-prefer-user-labels t
771 (add-to-list 'org-latex-packages-alist '("" "listings"))
772 (add-to-list 'org-latex-packages-alist '("" "color"))
773 (add-to-list 'org-latex-classes
774 '("IEEEtran" "\\documentclass[11pt]{IEEEtran}"
775 ("\\section{%s}" . "\\section*{%s}")
776 ("\\subsection{%s}" . "\\subsection*{%s}")
777 ("\\subsubsection{%s}" . "\\subsubsection*{%s}")
778 ("\\paragraph{%s}" . "\\paragraph*{%s}")
779 ("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
782 (use-package ox-beamer
785 (use-package orgalist
787 :hook (message-mode . orgalist-mode))
790 **** asynchronous tangle
792 =amin/async-babel-tangle= is a function closely inspired by [[https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles][dieggsy's
793 d/async-babel-tangle]] which uses [[https://github.com/jwiegley/emacs-async][async]] to asynchronously tangle an org
796 #+begin_src emacs-lisp
798 (defvar amin-show-async-tangle-results nil
799 "Keep *emacs* async buffers around for later inspection.")
801 (defvar amin-show-async-tangle-time nil
802 "Show the time spent tangling the file.")
804 (defvar amin-async-tangle-post-compile "make ti"
805 "If non-nil, pass to `compile' after successful tangle.")
807 (defun amin/async-babel-tangle ()
808 "Tangle org file asynchronously."
810 (let* ((file-tangle-start-time (current-time))
811 (file (buffer-file-name))
812 (file-nodir (file-name-nondirectory file))
813 (async-quiet-switch "-q"))
817 (org-babel-tangle-file ,file))
818 (unless amin-show-async-tangle-results
822 (message "Tangled %s%s"
824 (if amin-show-async-tangle-time
826 (float-time (time-subtract (current-time)
827 ',file-tangle-start-time)))
829 (when amin-async-tangle-post-compile
830 (save-window-excursion
831 (compile amin-async-tangle-post-compile))))
832 (message "Tangling %s failed" ,file-nodir))))))))
835 'safe-local-variable-values
836 '(eval add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local))
839 *** [[https://magit.vc/][Magit]]
842 It's Magit! A Git porcelain inside Emacs.
845 Not just how I do git, but /the/ way to do git.
847 #+begin_src emacs-lisp
850 :bind (("C-x g" . magit-status)
851 ("s-g s" . magit-status)
852 ("s-g l" . magit-log-buffer-file))
854 (magit-add-section-hook 'magit-status-sections-hook
855 'magit-insert-modules
856 'magit-insert-stashes
859 magit-repository-directories '(("~/.emacs.d/" . 0)
861 (nconc magit-section-initial-visibility-alist
862 '(([unpulled status] . show)
863 ([unpushed status] . show)))
864 :custom-face (magit-diff-file-heading ((t (:weight normal)))))
867 *** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
870 Ivy - a generic completion frontend for Emacs, Swiper - isearch with
871 an overview, and more. Oh, man!
874 There's no way I could top that, so I won't attempt to.
878 #+begin_src emacs-lisp
882 (:map ivy-minibuffer-map
883 ([escape] . keyboard-escape-quit)
884 ([S-up] . ivy-previous-history-element)
885 ([S-down] . ivy-next-history-element)
886 ("DEL" . ivy-backward-delete-char))
891 ;; (ivy-minibuffer-match-face-2 ((t (:background "#e99ce8" :weight semi-bold))))
892 ;; (ivy-minibuffer-match-face-3 ((t (:background "#bbbbff" :weight semi-bold))))
893 ;; (ivy-minibuffer-match-face-4 ((t (:background "#ffbbff" :weight semi-bold))))
899 #+begin_src emacs-lisp
901 :bind (("C-s" . swiper)
907 #+begin_src emacs-lisp
910 :bind (([remap execute-extended-command] . counsel-M-x)
911 ([remap find-file] . counsel-find-file)
912 ("s-r" . counsel-recentf)
913 ("C-c x" . counsel-M-x)
914 ("C-c f ." . counsel-find-file)
915 :map minibuffer-local-map
916 ("C-r" . counsel-minibuffer-history))
919 (defalias 'locate #'counsel-locate))
924 #+begin_src emacs-lisp
929 (eval-when-compile (defvar eshell-prompt-regexp))
930 (defun amin/eshell-quit-or-delete-char (arg)
932 (if (and (eolp) (looking-back eshell-prompt-regexp nil))
933 (eshell-life-is-too-much)
936 (defun amin/eshell-clear ()
938 (let ((inhibit-read-only t))
942 (defun amin|eshell-setup ()
943 (make-local-variable 'company-idle-delay)
944 (setq company-idle-delay nil)
945 (bind-keys :map eshell-mode-map
946 ("C-d" . amin/eshell-quit-or-delete-char)
947 ("C-S-l" . amin/eshell-clear)
948 ("M-r" . counsel-esh-history)
949 ([tab] . company-complete)))
951 :hook (eshell-mode . amin|eshell-setup)
953 (eshell-hist-ignoredups t)
954 (eshell-input-filter 'eshell-input-filter-initial-space))
959 #+begin_src emacs-lisp
963 (("C-x C-b" . ibuffer-other-window)
964 :map ibuffer-mode-map
965 ("P" . ibuffer-backward-filter-group)
966 ("N" . ibuffer-forward-filter-group)
967 ("M-p" . ibuffer-do-print)
968 ("M-n" . ibuffer-do-shell-command-pipe-replace))
970 ;; Use human readable Size column instead of original one
971 (define-ibuffer-column size-h
972 (:name "Size" :inline t)
974 ((> (buffer-size) 1000000) (format "%7.1fM" (/ (buffer-size) 1000000.0)))
975 ((> (buffer-size) 100000) (format "%7.0fk" (/ (buffer-size) 1000.0)))
976 ((> (buffer-size) 1000) (format "%7.1fk" (/ (buffer-size) 1000.0)))
977 (t (format "%8d" (buffer-size)))))
979 (ibuffer-saved-filter-groups
981 ("dired" (mode . dired-mode))
982 ("org" (mode . org-mode))
985 (mode . gnus-group-mode)
986 (mode . gnus-summary-mode)
987 (mode . gnus-article-mode)
988 ;; not really, but...
989 (mode . message-mode)))
1000 (mode . term-mode)))
1003 (mode . python-mode)
1006 (mode . emacs-lisp-mode)
1007 (mode . scheme-mode)
1008 (mode . haskell-mode)
1009 (mode . lean-mode)))
1012 (name . "^\\*scratch\\*$")
1013 (name . "^\\*Messages\\*$"))))))
1015 '((mark modified read-only locked " "
1016 (name 18 18 :left :elide)
1018 (size-h 9 -1 :right)
1020 (mode 16 16 :left :elide)
1021 " " filename-and-process)
1025 :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
1030 #+begin_src emacs-lisp
1031 (use-package outline
1033 :hook (prog-mode . outline-minor-mode)
1036 outline-minor-mode-map
1037 ("<s-tab>" . outline-toggle-children)
1038 ("M-p" . outline-previous-visible-heading)
1039 ("M-n" . outline-next-visible-heading)
1040 :prefix-map amin--outline-prefix-map
1042 ("TAB" . outline-toggle-children)
1043 ("a" . outline-hide-body)
1044 ("H" . outline-hide-body)
1045 ("S" . outline-show-all)
1046 ("h" . outline-hide-subtree)
1047 ("s" . outline-show-subtree)))
1050 * Borg's =layer/essentials=
1052 TODO: break this giant source block down into individual org sections.
1054 #+begin_src emacs-lisp
1056 :config (dash-enable-font-lock))
1058 (use-package diff-hl
1060 (setq diff-hl-draw-borders nil)
1061 (global-diff-hl-mode)
1062 (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
1066 :config (setq dired-listing-switches "-alh"))
1069 :when (version< "25" emacs-version)
1070 :config (global-eldoc-mode))
1075 (temp-buffer-resize-mode)
1076 (setq help-window-select t))
1079 (setq isearch-allow-scroll t))
1081 (use-package lisp-mode
1083 (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1084 (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1085 (defun indent-spaces-mode ()
1086 (setq indent-tabs-mode nil))
1087 (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1091 :config (setq Man-width 80))
1094 :config (show-paren-mode))
1096 (use-package prog-mode
1097 :config (global-prettify-symbols-mode)
1098 (defun indicate-buffer-boundaries-left ()
1099 (setq indicate-buffer-boundaries 'left))
1100 (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1102 (use-package recentf
1105 (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1106 (setq recentf-max-saved-items 40))
1108 (use-package savehist
1109 :config (savehist-mode))
1111 (use-package saveplace
1112 :when (version< "25" emacs-version)
1113 :config (save-place-mode))
1116 :config (column-number-mode))
1118 (progn ; `text-mode'
1119 (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left)
1120 (add-hook 'text-mode-hook #'abbrev-mode))
1125 (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1126 (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1127 (add-to-list 'tramp-default-proxies-alist
1128 (list (regexp-quote (system-name)) nil nil)))
1136 #+begin_src emacs-lisp
1137 (use-package company
1140 (:map company-active-map
1141 ([tab] . company-complete-common-or-cycle)
1142 ([escape] . company-abort))
1144 (company-minimum-prefix-length 1)
1145 (company-selection-wrap-around t)
1146 (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1147 (company-dabbrev-downcase nil)
1148 (company-dabbrev-ignore-case nil)
1150 (global-company-mode t))
1153 * Syntax and spell checking
1155 #+begin_src emacs-lisp
1156 (use-package flycheck
1158 :hook (prog-mode . flycheck-mode)
1160 (:map flycheck-mode-map
1161 ("M-P" . flycheck-previous-error)
1162 ("M-N" . flycheck-next-error))
1164 ;; Use the load-path from running Emacs when checking elisp files
1165 (setq flycheck-emacs-lisp-load-path 'inherit)
1167 ;; Only flycheck when I actually save the buffer
1168 (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1170 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1174 ;; ’ can be part of a word
1175 (setq ispell-local-dictionary-alist
1176 `((nil "[[:alpha:]]" "[^[:alpha:]]"
1177 "['\x2019]" nil ("-B") nil utf-8)))
1178 ;; don't send ’ to the subprocess
1179 (defun endless/replace-apostrophe (args)
1180 (cons (replace-regexp-in-string
1183 (advice-add #'ispell-send-string :filter-args
1184 #'endless/replace-apostrophe)
1186 ;; convert ' back to ’ from the subprocess
1187 (defun endless/replace-quote (args)
1188 (if (not (derived-mode-p 'org-mode))
1190 (cons (replace-regexp-in-string
1193 (advice-add #'ispell-parse-output :filter-args
1194 #'endless/replace-quote))
1198 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1200 #+begin_src emacs-lisp
1201 (use-package alloy-mode
1203 :config (setq alloy-basic-offset 2))
1206 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1208 #+begin_src emacs-lisp
1209 (use-package proof-site ; Proof General
1211 :load-path "lib/proof-site/generic/")
1214 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1216 #+begin_src emacs-lisp
1217 (eval-when-compile (defvar lean-mode-map))
1218 (use-package lean-mode
1220 :bind (:map lean-mode-map
1221 ("S-SPC" . company-complete))
1223 (require 'lean-input)
1224 (setq default-input-method "Lean"
1225 lean-input-tweak-all '(lean-input-compose
1226 (lean-input-prepend "/")
1227 (lean-input-nonempty))
1228 lean-input-user-translations '(("/" "/")))
1234 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1236 #+begin_src emacs-lisp
1237 (use-package haskell-mode
1240 (setq haskell-indentation-layout-offset 4
1241 haskell-indentation-left-offset 4
1242 flycheck-checker 'haskell-hlint
1243 flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1246 *** [[https://github.com/jyp/dante][dante]]
1248 #+begin_src emacs-lisp
1251 :commands dante-mode
1252 :hook (haskell-mode . dante-mode))
1255 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1257 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1258 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1260 #+begin_src emacs-lisp
1261 (use-package hlint-refactor
1263 :bind (:map hlint-refactor-mode-map
1264 ("C-c l b" . hlint-refactor-refactor-buffer)
1265 ("C-c l r" . hlint-refactor-refactor-at-point))
1266 :hook (haskell-mode . hlint-refactor-mode))
1269 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1271 #+begin_src emacs-lisp
1272 (use-package flycheck-haskell
1273 :after haskell-mode)
1276 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1278 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1281 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1284 #+begin_src emacs-lisp :tangle no
1285 ;;; hs-lint.el --- minor mode for HLint code checking
1287 ;; Copyright 2009 (C) Alex Ott
1289 ;; Author: Alex Ott <alexott@gmail.com>
1290 ;; Keywords: haskell, lint, HLint
1292 ;; Status: distributed under terms of GPL2 or above
1294 ;; Typical message from HLint looks like:
1296 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1298 ;; count1 p l = length (filter p l)
1300 ;; count1 p = length . filter p
1305 (defgroup hs-lint nil
1306 "Run HLint as inferior of Emacs, parse error messages."
1310 (defcustom hs-lint-command "hlint"
1311 "The default hs-lint command for \\[hlint]."
1315 (defcustom hs-lint-save-files t
1316 "Save modified files when run HLint or no (ask user)"
1320 (defcustom hs-lint-replace-with-suggestions nil
1321 "Replace user's code with suggested replacements"
1325 (defcustom hs-lint-replace-without-ask nil
1326 "Replace user's code with suggested replacements automatically"
1330 (defun hs-lint-process-setup ()
1331 "Setup compilation variables and buffer for `hlint'."
1332 (run-hooks 'hs-lint-setup-hook))
1334 ;; regex for replace suggestions
1336 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1342 (defvar hs-lint-regex
1343 "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1344 "Regex for HLint messages")
1346 (defun make-short-string (str maxlen)
1347 (if (< (length str) maxlen)
1349 (concat (substring str 0 (- maxlen 3)) "...")))
1351 (defun hs-lint-replace-suggestions ()
1352 "Perform actual replacement of suggestions"
1353 (goto-char (point-min))
1354 (while (re-search-forward hs-lint-regex nil t)
1355 (let* ((fname (match-string 1))
1356 (fline (string-to-number (match-string 2)))
1357 (old-code (match-string 4))
1358 (new-code (match-string 5))
1359 (msg (concat "Replace '" (make-short-string old-code 30)
1360 "' with '" (make-short-string new-code 30) "'"))
1366 (switch-to-buffer (get-file-buffer fname))
1367 (goto-char (point-min))
1368 (forward-line (1- fline))
1370 (setf bline (point))
1371 (when (or hs-lint-replace-without-ask
1374 (setf eline (point))
1376 (setf old-code (regexp-quote old-code))
1377 (while (string-match "\\\\ " old-code spos)
1378 (setf new-old-code (concat new-old-code
1379 (substring old-code spos (match-beginning 0))
1381 (setf spos (match-end 0)))
1382 (setf new-old-code (concat new-old-code (substring old-code spos)))
1383 (remove-text-properties bline eline '(composition nil))
1384 (when (re-search-forward new-old-code eline t)
1385 (replace-match new-code nil t)))))))
1387 (defun hs-lint-finish-hook (buf msg)
1388 "Function, that is executed at the end of HLint execution"
1389 (if hs-lint-replace-with-suggestions
1390 (hs-lint-replace-suggestions)
1393 (define-compilation-mode hs-lint-mode "HLint"
1394 "Mode for check Haskell source code."
1395 (set (make-local-variable 'compilation-process-setup-function)
1396 'hs-lint-process-setup)
1397 (set (make-local-variable 'compilation-disable-input) t)
1398 (set (make-local-variable 'compilation-scroll-output) nil)
1399 (set (make-local-variable 'compilation-finish-functions)
1400 (list 'hs-lint-finish-hook))
1404 "Run HLint for current buffer with haskell source"
1406 (save-some-buffers hs-lint-save-files)
1407 (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1411 ;;; hs-lint.el ends here
1414 #+begin_src emacs-lisp :tangle no
1415 (use-package hs-lint
1417 :bind (:map haskell-mode-map
1418 ("C-c l l" . hs-lint)))
1425 #+begin_src emacs-lisp
1426 (use-package sgml-mode
1429 (setq sgml-basic-offset 2))
1434 #+begin_src emacs-lisp
1435 (use-package css-mode
1438 (setq css-indent-offset 2))
1443 #+begin_src emacs-lisp
1444 (use-package web-mode
1449 web-mode-code-indent-offset
1450 web-mode-css-indent-offset
1451 web-mode-markup-indent-offset))
1456 #+begin_src emacs-lisp
1457 (use-package emmet-mode
1458 :after (:any web-mode css-mode sgml-mode)
1459 :bind* (("C-)" . emmet-next-edit-point)
1460 ("C-(" . emmet-prev-edit-point))
1462 (unbind-key "C-j" emmet-mode-keymap)
1463 (setq emmet-move-cursor-between-quotes t)
1464 :hook (web-mode css-mode html-mode sgml-mode))
1471 #+begin_src emacs-lisp
1472 (use-package meghanada
1474 (:map meghanada-mode-map
1475 (("C-M-o" . meghanada-optimize-import)
1476 ("C-M-t" . meghanada-import-all)))
1477 :hook (java-mode . meghanada-mode))
1498 #+begin_src emacs-lisp
1499 (use-package treemacs
1500 :config (setq treemacs-never-persist t))
1502 (use-package yasnippet
1504 ;; (yas-global-mode)
1507 (use-package lsp-mode
1508 :init (setq lsp-eldoc-render-all nil
1509 lsp-highlight-symbol-at-point nil)
1514 (use-package company-lsp
1517 (setq company-lsp-cache-candidates t
1518 company-lsp-async t))
1522 (setq lsp-ui-sideline-update-mode 'point))
1524 (use-package lsp-java
1526 (add-hook 'java-mode-hook
1528 (setq-local company-backends (list 'company-lsp))))
1530 (add-hook 'java-mode-hook 'lsp-java-enable)
1531 (add-hook 'java-mode-hook 'flycheck-mode)
1532 (add-hook 'java-mode-hook 'company-mode)
1533 (add-hook 'java-mode-hook 'lsp-ui-mode))
1535 (use-package dap-mode
1541 (use-package dap-java
1544 (use-package lsp-java-treemacs
1550 #+begin_src emacs-lisp
1551 (use-package geiser)
1553 (use-package geiser-guile
1555 (setq geiser-guile-load-path "~/src/git/guix"))
1560 #+begin_src emacs-lisp
1562 :load-path "lib/guix/elisp")
1565 * Emacs Enhancements
1567 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1570 Emacs package that displays available keybindings in popup
1573 #+begin_src emacs-lisp
1574 (use-package which-key
1576 :config (which-key-mode))
1581 #+begin_src emacs-lisp
1582 (add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
1583 (load-theme 'tangomod t)
1588 #+begin_src emacs-lisp
1589 (use-package smart-mode-line
1596 #+begin_src emacs-lisp
1597 (use-package doom-themes)
1600 ** theme helper functions
1602 #+begin_src emacs-lisp
1603 (defun amin/lights-on ()
1604 "Enable my favourite light theme."
1606 (mapc #'disable-theme custom-enabled-themes)
1607 (load-theme 'tangomod t)
1608 (sml/apply-theme 'automatic))
1610 (defun amin/lights-off ()
1613 (mapc #'disable-theme custom-enabled-themes)
1614 (load-theme 'doom-tomorrow-night t)
1615 (sml/apply-theme 'automatic))
1618 ("s-t d" . amin/lights-off)
1619 ("s-t l" . amin/lights-on))
1622 ** [[https://github.com/bbatsov/crux][crux]]
1624 #+begin_src emacs-lisp
1627 :bind (("C-c b k" . crux-kill-other-buffers)
1628 ("C-c d" . crux-duplicate-current-line-or-region)
1629 ("C-c D" . crux-duplicate-and-comment-current-line-or-region)
1630 ("C-c f c" . crux-copy-file-preserve-attributes)
1631 ("C-c f d" . crux-delete-file-and-buffer)
1632 ("C-c f r" . crux-rename-file-and-buffer)
1633 ("C-c j" . crux-top-join-line)
1634 ("C-S-j" . crux-top-join-line)))
1637 ** [[https://github.com/alezost/mwim.el][mwim]]
1639 #+begin_src emacs-lisp
1641 :bind (("C-a" . mwim-beginning-of-code-or-line)
1642 ("C-e" . mwim-end-of-code-or-line)
1643 ("<home>" . mwim-beginning-of-line-or-code)
1644 ("<end>" . mwim-end-of-line-or-code)))
1649 #+begin_src emacs-lisp
1650 (use-package projectile
1652 :bind-keymap ("C-c p" . projectile-command-map)
1656 (defun my-projectile-invalidate-cache (&rest _args)
1657 ;; ignore the args to `magit-checkout'
1658 (projectile-invalidate-cache nil))
1660 (eval-after-load 'magit-branch
1662 (advice-add 'magit-checkout
1663 :after #'my-projectile-invalidate-cache)
1664 (advice-add 'magit-branch-and-checkout
1665 :after #'my-projectile-invalidate-cache))))
1668 ** [[https://github.com/Wilfred/helpful][helpful]]
1670 #+begin_src emacs-lisp
1671 (use-package helpful
1674 (("C-S-h c" . helpful-command)
1675 ("C-S-h f" . helpful-callable) ; helpful-function
1676 ("C-S-h v" . helpful-variable)
1677 ("C-S-h k" . helpful-key)
1678 ("C-S-h p" . helpful-at-point)))
1681 ** [[https://github.com/knu/shell-toggle.el][shell-toggle]]
1683 #+begin_src emacs-lisp
1684 (use-package shell-toggle
1686 :bind ("C-c a s e" . amin/shell-toggle)
1688 (defun amin/shell-toggle (make-cd)
1689 "Toggle between the shell buffer and whatever buffer you are editing.
1690 With a prefix argument MAKE-CD also insert a \"cd DIR\" command
1691 into the shell, where DIR is the directory of the current buffer.
1693 When called in the shell buffer returns you to the buffer you were editing
1694 before calling this the first time.
1696 Options: `shell-toggle-goto-eob'"
1698 ;; Try to decide on one of three possibilities:
1699 ;; If not in shell-buffer, switch to it.
1700 ;; If in shell-buffer, return to state before going to the shell-buffer
1701 (if (eq (current-buffer) shell-toggle-shell-buffer)
1702 (shell-toggle-buffer-return-from-shell)
1704 (shell-toggle-buffer-goto-shell make-cd)
1705 (if shell-toggle-full-screen-window-only (delete-other-windows)))))
1707 ;; override to split horizontally instead
1708 (defun shell-toggle-buffer-switch-to-other-window ()
1709 "Switch to other window.
1710 If the current window is the only window in the current frame,
1711 create a new window and switch to it.
1713 \(This is less intrusive to the current window configuration than
1714 `switch-buffer-other-window')"
1715 (let ((this-window (selected-window)))
1717 ;; If we did not switch window then we only have one window and need to
1718 ;; create a new one.
1719 (if (eq this-window (selected-window))
1721 (split-window-horizontally)
1722 (other-window 1)))))
1725 (shell-toggle-launch-shell 'shell-toggle-eshell))
1728 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1730 Make =*scratch*= and =*Messages*= unkillable.
1732 #+begin_src emacs-lisp
1733 (use-package unkillable-scratch
1736 (unkillable-scratch 1)
1738 (unkillable-scratch-behavior 'do-nothing)
1739 (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1742 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1746 | make pretty boxed quotes like this
1750 #+begin_src emacs-lisp
1751 (use-package boxquote
1754 (:prefix-map amin--boxquote-prefix-map
1756 ("b" . boxquote-buffer)
1757 ("B" . boxquote-insert-buffer)
1758 ("d" . boxquote-defun)
1759 ("F" . boxquote-insert-file)
1760 ("hf" . boxquote-describe-function)
1761 ("hk" . boxquote-describe-key)
1762 ("hv" . boxquote-describe-variable)
1763 ("hw" . boxquote-where-is)
1764 ("k" . boxquote-kill)
1765 ("p" . boxquote-paragraph)
1766 ("q" . boxquote-boxquote)
1767 ("r" . boxquote-region)
1768 ("s" . boxquote-shell-command)
1769 ("t" . boxquote-text)
1770 ("T" . boxquote-title)
1771 ("u" . boxquote-unbox)
1772 ("U" . boxquote-unbox-region)
1773 ("y" . boxquote-yank)
1774 ("M-q" . boxquote-fill-paragraph)
1775 ("M-w" . boxquote-kill-ring-save)))
1778 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1780 ** COMMENT [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]
1782 #+begin_src emacs-lisp
1783 (use-package highlight-indent-guides
1785 :hook ((prog-mode . highlight-indent-guides-mode)
1786 ;; (org-mode . highlight-indent-guides-mode)
1789 (setq highlight-indent-guides-character ?\|)
1790 (setq highlight-indent-guides-auto-enabled nil)
1791 (setq highlight-indent-guides-method 'character)
1792 (setq highlight-indent-guides-responsive 'top)
1793 (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1794 (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1799 #+begin_src emacs-lisp
1800 (use-package pdf-tools
1802 :magic ("%PDF" . pdf-view-mode)
1804 (setq pdf-view-resize-factor 1.05)
1807 (:map pdf-view-mode-map
1808 ("C-s" . isearch-forward)
1809 ("C-r" . isearch-backward)
1810 ("j" . pdf-view-next-line-or-next-page)
1811 ("k" . pdf-view-previous-line-or-previous-page)
1812 ("h" . image-backward-hscroll)
1813 ("l" . image-forward-hscroll)))
1818 #+begin_src emacs-lisp
1822 (typo-global-mode 1)
1823 :hook (text-mode . typo-mode))
1828 #+begin_src emacs-lisp
1829 (use-package hl-todo
1832 (global-hl-todo-mode))
1837 #+begin_src emacs-lisp
1838 (use-package shrink-path
1841 (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
1842 eshell-prompt-function #'+eshell/prompt)
1844 (defun +eshell/prompt ()
1845 (let ((base/dir (shrink-path-prompt default-directory)))
1846 (concat (propertize (car base/dir)
1847 'face 'font-lock-comment-face)
1848 (propertize (cdr base/dir)
1849 'face 'font-lock-constant-face)
1850 (propertize (+eshell--current-git-branch)
1851 'face 'font-lock-function-name-face)
1853 (propertize "λ" 'face 'eshell-prompt-face)
1854 ;; needed for the input text to not have prompt face
1855 (propertize " " 'face 'default))))
1857 (defun +eshell--current-git-branch ()
1858 (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
1859 when (string-match "^\*" match)
1861 (if (not (eq branch nil))
1862 (concat " " (substring branch 2))
1868 Hopefully temporary.
1870 #+begin_src emacs-lisp
1872 :commands (slack-start)
1874 (eval-when-compile ; silence the byte-compiler
1875 (defvar url-http-data nil)
1876 (defvar url-http-extra-headers nil)
1877 (defvar url-http-method nil)
1878 (defvar url-callback-function nil)
1879 (defvar url-callback-arguments nil)
1880 (defvar oauth--token-data nil))
1881 (setq slack-buffer-emojify t
1882 slack-prefer-current-team t)
1884 (slack-register-team
1887 :client-id uw-apv-client-id
1888 :client-secret uw-apv-client-secret
1890 :subscribed-channels '(general)
1891 :full-and-display-names t)
1892 (slack-register-team
1895 :client-id watform-client-id
1896 :client-secret watform-client-secret
1897 :token watform-token
1898 :subscribed-channels '(general)
1899 :full-and-display-names t)
1900 (add-to-list 'swiper-font-lock-exclude 'slack-message-buffer-mode t)
1901 (setq lui-time-stamp-format "[%Y-%m-%d %H:%M:%S]"
1902 lui-time-stamp-only-when-changed-p t
1903 lui-time-stamp-position 'right)
1905 (("C-c s s" . slack-start)
1906 ("C-c s u" . slack-select-unread-rooms)
1907 ("C-c s b" . slack-select-rooms)
1908 ("C-c s t" . slack-change-current-team)
1909 ("C-c s c" . slack-ws-close)
1911 ("M-p" . slack-buffer-goto-prev-message)
1912 ("M-n" . slack-buffer-goto-next-message)
1913 ("C-c e" . slack-message-edit)
1914 ("C-c k" . slack-message-delete)
1915 ("C-c C-k" . slack-channel-leave)
1916 ("C-c r a" . slack-message-add-reaction)
1917 ("C-c r r" . slack-message-remove-reaction)
1918 ("C-c r s" . slack-message-show-reaction-users)
1919 ("C-c p l" . slack-room-pins-list)
1920 ("C-c p a" . slack-message-pins-add)
1921 ("C-c p r" . slack-message-pins-remove)
1922 ("@" . slack-message-embed-mention)
1923 ("#" . slack-message-embed-channel)))
1928 (setq alert-default-style 'notifier))
1931 ** [[https://github.com/peterwvj/eshell-up][eshell-up]]
1933 #+begin_src emacs-lisp
1934 (use-package eshell-up
1940 #+begin_src emacs-lisp
1941 (use-package multi-term
1943 :bind (("C-c C-j" . term-line-mode)
1944 ("C-c a s m m" . multi-term)
1945 ("C-c a s m p" . multi-term-dedicated-toggle))
1947 (setq multi-term-program "/bin/screen"
1948 ;; TODO: add separate bindings for connecting to existing
1949 ;; session vs. always creating a new one
1950 multi-term-dedicated-select-after-open-p t
1951 multi-term-dedicated-window-height 20
1952 multi-term-dedicated-max-window-height 30
1954 '(("C-c C-c" . term-interrupt-subjob)
1955 ("C-c C-e" . term-send-esc)
1957 ("C-y" . term-paste)
1958 ("M-f" . term-send-forward-word)
1959 ("M-b" . term-send-backward-word)
1960 ("M-p" . term-send-up)
1961 ("M-n" . term-send-down)
1962 ("<C-backspace>" . term-send-backward-kill-word)
1963 ("<M-DEL>" . term-send-backward-kill-word)
1964 ("M-d" . term-send-delete-word)
1965 ("M-," . term-send-raw)
1966 ("M-." . comint-dynamic-complete))
1967 term-unbind-key-alist
1968 '("C-z" "C-x" "C-c" "C-h" "C-y" "<ESC>")))
1973 #+begin_src emacs-lisp
1974 (use-package page-break-lines
1976 (global-page-break-lines-mode))
1981 #+begin_src emacs-lisp
1982 (defvar amin-maildir (expand-file-name "~/mail/"))
1984 (add-to-list 'recentf-exclude amin-maildir))
1989 #+begin_src emacs-lisp
1991 amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
1992 mail-user-agent 'gnus-user-agent
1993 read-mail-command 'gnus)
1996 :bind (("C-c m" . gnus)
1997 ("C-c M" . gnus-unplugged)
1999 ("s-M" . gnus-unplugged))
2002 gnus-select-method '(nnnil "")
2003 gnus-secondary-select-methods
2005 (nnimap-stream plain)
2006 (nnimap-address "127.0.0.1")
2007 (nnimap-server-port 143)
2008 (nnimap-authenticator plain)
2009 (nnimap-user "amin@aminb.org"))
2011 (nnimap-stream plain)
2012 (nnimap-address "127.0.0.1")
2013 (nnimap-server-port 143)
2014 (nnimap-authenticator plain)
2015 (nnimap-user "abandali@uwaterloo.ca")))
2016 gnus-message-archive-group "nnimap+amin:Sent"
2020 gnus-large-newsgroup 50
2021 gnus-home-directory (no-littering-expand-var-file-name "gnus/")
2022 gnus-directory (concat gnus-home-directory "news/")
2023 message-directory (concat gnus-home-directory "mail/")
2024 nndraft-directory (concat gnus-home-directory "drafts/")
2025 gnus-save-newsrc-file nil
2026 gnus-read-newsrc-file nil
2027 gnus-interactive-exit nil
2028 gnus-gcc-mark-as-read t))
2030 (use-package gnus-art
2033 gnus-visible-headers
2034 (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
2035 gnus-sorted-header-list
2036 '("^From:" "^Subject:" "^Summary:" "^Keywords:"
2037 "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
2038 "^Newsgroups:" "List-Id:" "^Organization:"
2039 "^User-Agent:" "^Date:")
2040 ;; local-lapsed article dates
2041 ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
2042 gnus-article-date-headers '(user-defined)
2043 gnus-article-time-format
2045 (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
2046 (local (article-make-date-line date 'local))
2047 (combined-lapsed (article-make-date-line date
2050 (string-match " (.+" combined-lapsed)
2051 (match-string 0 combined-lapsed))))
2052 (concat local lapsed))))
2054 :map gnus-article-mode-map
2055 ("r" . gnus-article-reply-with-original)
2056 ("R" . gnus-article-wide-reply-with-original)
2057 ("M-L" . org-store-link)))
2059 (use-package gnus-sum
2060 :bind (:map gnus-summary-mode-map
2061 :prefix-map amin--gnus-summary-prefix-map
2063 ("r" . gnus-summary-reply)
2064 ("w" . gnus-summary-wide-reply)
2065 ("v" . gnus-summary-show-raw-article))
2068 :map gnus-summary-mode-map
2069 ("r" . gnus-summary-reply-with-original)
2070 ("R" . gnus-summary-wide-reply-with-original)
2071 ("M-L" . org-store-link))
2072 :hook (gnus-summary-mode . amin--no-mouse-autoselect-window))
2074 (use-package gnus-msg
2076 (setq gnus-posting-styles
2078 (address "amin@aminb.org")
2079 (body "\nBest,\namin\n")
2080 (eval (setq amin--message-cite-say-hi t)))
2082 (address "bandali@gnu.org"))
2083 ((header "subject" "ThankCRM")
2084 (to "webmasters-comment@gnu.org")
2085 (body "\nAdded to 2018supporters.html.\n\nMoving to campaigns.\n\n-amin\n")
2086 (eval (setq amin--message-cite-say-hi nil)))
2087 ("nnimap\\+uwaterloo:.*"
2088 (address "abandali@uwaterloo.ca")
2089 (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
2091 (use-package gnus-topic
2092 :hook (gnus-group-mode . gnus-topic-mode))
2094 (use-package gnus-agent
2096 (setq gnus-agent-synchronize-flags 'ask)
2097 :hook (gnus-group-mode . gnus-agent-mode))
2099 (use-package gnus-group
2101 (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
2103 (use-package mm-decode
2105 (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
2110 #+begin_src emacs-lisp
2111 (use-package sendmail
2113 (setq sendmail-program "/usr/bin/msmtp"
2114 ;; message-sendmail-extra-arguments '("-v" "-d")
2115 mail-specify-envelope-from t
2116 mail-envelope-from 'header))
2121 #+begin_src emacs-lisp
2122 (use-package message
2124 (defconst amin--message-cite-style-format "On %Y-%m-%d %l:%M %p, %N wrote:")
2125 (defconst message-cite-style-bandali
2126 '((message-cite-function 'message-cite-original)
2127 (message-citation-line-function 'message-insert-formatted-citation-line)
2128 (message-cite-reply-position 'traditional)
2129 (message-yank-prefix "> ")
2130 (message-yank-cited-prefix ">")
2131 (message-yank-empty-prefix ">")
2132 (message-citation-line-format
2133 (if amin--message-cite-say-hi
2134 (concat "Hi %F,\n\n" amin--message-cite-style-format)
2135 amin--message-cite-style-format)))
2136 "Citation style based on Mozilla Thunderbird's. Use with message-cite-style.")
2137 (setq message-cite-style 'message-cite-style-bandali
2138 message-kill-buffer-on-exit t
2139 message-send-mail-function 'message-send-mail-with-sendmail
2140 message-sendmail-envelope-from 'header
2141 message-dont-reply-to-names
2142 "\\(\\(.*@aminb\\.org\\)\\|\\(amin@bandali\\.me\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
2143 message-user-fqdn "aminb.org")
2144 :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
2145 (message-mode . flyspell-mode)
2146 (message-mode . (lambda ()
2147 ;; (setq fill-column 65
2148 ;; message-fill-column 65)
2149 (make-local-variable 'company-idle-delay)
2150 (setq company-idle-delay 0.2))))
2152 ;; (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
2153 ;; (message-header-to ((t (:foreground "#111" :weight normal))))
2154 ;; (message-header-cc ((t (:foreground "#333" :weight normal))))
2158 (setq mml-secure-openpgp-encrypt-to-self t
2159 mml-secure-openpgp-sign-with-sender t))
2164 Convenient footnotes in =message-mode=.
2166 #+begin_src emacs-lisp
2167 (use-package footnote
2170 (:map message-mode-map
2171 :prefix-map amin--footnote-prefix-map
2173 ("a" . footnote-add-footnote)
2174 ("b" . footnote-back-to-message)
2175 ("c" . footnote-cycle-style)
2176 ("d" . footnote-delete-footnote)
2177 ("g" . footnote-goto-footnote)
2178 ("r" . footnote-renumber-footnotes)
2179 ("s" . footnote-set-style))
2181 (setq footnote-start-tag ""
2183 footnote-style 'unicode))
2188 Manually install bbdb (=lisp/bbdb= copied from an ELPA-based setup),
2189 because installing it from source on Emacs 27 using the following
2190 submodule configuration for some reason doesn’t work and results in
2191 very strange errors when using any of the functions.
2193 #+begin_src conf :tangle no
2196 url = https://git.savannah.nongnu.org/git/bbdb.git
2199 build-step = ./autogen.sh
2200 build-step = ./configure
2202 build-step = make install
2205 I tried using =borg-elpa= instead of doing it like this, but it added
2206 2 seconds to my startup time, which is unacceptable to me.
2208 #+begin_src emacs-lisp
2210 :load-path "lisp/bbdb"
2212 (load (expand-file-name "lisp/bbdb/bbdb-autoloads.el" user-emacs-directory))
2213 ;; (bbdb-mua-auto-update-init 'message)
2214 (setq bbdb-mua-auto-update-p 'query
2215 bbdb-complete-mail nil)
2216 (bbdb-initialize 'gnus 'message))
2219 ** COMMENT message-x
2221 #+begin_src emacs-lisp
2222 (use-package message-x
2224 (message-x-completion-alist
2226 (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
2229 (quote message-newgroups-header-regexp))
2230 message-newgroups-header-regexp message-newsgroups-header-regexp)
2231 . message-expand-group)))))
2234 ** COMMENT gnus-harvest
2236 #+begin_src emacs-lisp
2237 (use-package gnus-harvest
2238 :commands gnus-harvest-install
2241 (if (featurep 'message-x)
2242 (gnus-harvest-install 'message-x)
2243 (gnus-harvest-install)))
2248 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2250 #+begin_src emacs-lisp
2251 (use-package ox-hugo
2254 (use-package ox-hugo-auto-export
2255 :load-path "lib/ox-hugo")
2258 * Post initialization
2260 :CUSTOM_ID: post-initialization
2263 Display how long it took to load the init file.
2265 #+begin_src emacs-lisp
2266 (message "Loading %s...done (%.3fs)" user-init-file
2267 (float-time (time-subtract (current-time)
2268 amin--before-user-init-time)))
2276 #+begin_src emacs-lisp :comments none
2277 ;;; init.el ends here
2280 * COMMENT Local Variables :ARCHIVE:
2282 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
2283 # eval: (typo-mode -1)