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))
992 (mode . shell-mode)))
993 ("notmuch" (name . "\*notmuch\*"))
998 (mode . emacs-lisp-mode)))
1001 (name . "^\\*scratch\\*$")
1002 (name . "^\\*Messages\\*$")))
1005 (name . "^\\*Slack*"))))))
1007 '((mark modified read-only locked " "
1008 (name 18 18 :left :elide)
1010 (size-h 9 -1 :right)
1012 (mode 16 16 :left :elide)
1013 " " filename-and-process)
1017 :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
1022 #+begin_src emacs-lisp
1023 (use-package outline
1025 :hook (prog-mode . outline-minor-mode)
1028 outline-minor-mode-map
1029 ("<s-tab>" . outline-toggle-children)
1030 ("M-p" . outline-previous-visible-heading)
1031 ("M-n" . outline-next-visible-heading)
1032 :prefix-map amin--outline-prefix-map
1034 ("TAB" . outline-toggle-children)
1035 ("a" . outline-hide-body)
1036 ("H" . outline-hide-body)
1037 ("S" . outline-show-all)
1038 ("h" . outline-hide-subtree)
1039 ("s" . outline-show-subtree)))
1042 * Borg's =layer/essentials=
1044 TODO: break this giant source block down into individual org sections.
1046 #+begin_src emacs-lisp
1048 :config (dash-enable-font-lock))
1050 (use-package diff-hl
1052 (setq diff-hl-draw-borders nil)
1053 (global-diff-hl-mode)
1054 (add-hook 'magit-post-refresh-hook 'diff-hl-magit-post-refresh t))
1058 :config (setq dired-listing-switches "-alh"))
1061 :when (version< "25" emacs-version)
1062 :config (global-eldoc-mode))
1067 (temp-buffer-resize-mode)
1068 (setq help-window-select t))
1071 (setq isearch-allow-scroll t))
1073 (use-package lisp-mode
1075 (add-hook 'emacs-lisp-mode-hook 'outline-minor-mode)
1076 (add-hook 'emacs-lisp-mode-hook 'reveal-mode)
1077 (defun indent-spaces-mode ()
1078 (setq indent-tabs-mode nil))
1079 (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
1083 :config (setq Man-width 80))
1086 :config (show-paren-mode))
1088 (use-package prog-mode
1089 :config (global-prettify-symbols-mode)
1090 (defun indicate-buffer-boundaries-left ()
1091 (setq indicate-buffer-boundaries 'left))
1092 (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
1094 (use-package recentf
1097 (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
1098 (setq recentf-max-saved-items 40))
1100 (use-package savehist
1101 :config (savehist-mode))
1103 (use-package saveplace
1104 :when (version< "25" emacs-version)
1105 :config (save-place-mode))
1108 :config (column-number-mode))
1110 (progn ; `text-mode'
1111 (add-hook 'text-mode-hook #'indicate-buffer-boundaries-left)
1112 (add-hook 'text-mode-hook #'abbrev-mode))
1117 (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
1118 (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
1119 (add-to-list 'tramp-default-proxies-alist
1120 (list (regexp-quote (system-name)) nil nil)))
1128 #+begin_src emacs-lisp
1129 (use-package company
1132 (:map company-active-map
1133 ([tab] . company-complete-common-or-cycle)
1134 ([escape] . company-abort))
1136 (company-minimum-prefix-length 1)
1137 (company-selection-wrap-around t)
1138 (company-dabbrev-char-regexp "\\sw\\|\\s_\\|[-_]")
1139 (company-dabbrev-downcase nil)
1140 (company-dabbrev-ignore-case nil)
1142 (global-company-mode t))
1145 * Syntax and spell checking
1147 #+begin_src emacs-lisp
1148 (use-package flycheck
1150 :hook (prog-mode . flycheck-mode)
1152 (:map flycheck-mode-map
1153 ("M-P" . flycheck-previous-error)
1154 ("M-N" . flycheck-next-error))
1156 ;; Use the load-path from running Emacs when checking elisp files
1157 (setq flycheck-emacs-lisp-load-path 'inherit)
1159 ;; Only flycheck when I actually save the buffer
1160 (setq flycheck-check-syntax-automatically '(mode-enabled save)))
1162 ;; http://endlessparentheses.com/ispell-and-apostrophes.html
1166 ;; ’ can be part of a word
1167 (setq ispell-local-dictionary-alist
1168 `((nil "[[:alpha:]]" "[^[:alpha:]]"
1169 "['\x2019]" nil ("-B") nil utf-8)))
1170 ;; don't send ’ to the subprocess
1171 (defun endless/replace-apostrophe (args)
1172 (cons (replace-regexp-in-string
1175 (advice-add #'ispell-send-string :filter-args
1176 #'endless/replace-apostrophe)
1178 ;; convert ' back to ’ from the subprocess
1179 (defun endless/replace-quote (args)
1180 (if (not (derived-mode-p 'org-mode))
1182 (cons (replace-regexp-in-string
1185 (advice-add #'ispell-parse-output :filter-args
1186 #'endless/replace-quote))
1190 ** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])
1192 #+begin_src emacs-lisp
1193 (use-package alloy-mode
1195 :config (setq alloy-basic-offset 2))
1198 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
1200 #+begin_src emacs-lisp
1201 (use-package proof-site ; Proof General
1203 :load-path "lib/proof-site/generic/")
1206 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
1208 #+begin_src emacs-lisp
1209 (eval-when-compile (defvar lean-mode-map))
1210 (use-package lean-mode
1212 :bind (:map lean-mode-map
1213 ("S-SPC" . company-complete))
1215 (require 'lean-input)
1216 (setq default-input-method "Lean"
1217 lean-input-tweak-all '(lean-input-compose
1218 (lean-input-prepend "/")
1219 (lean-input-nonempty))
1220 lean-input-user-translations '(("/" "/")))
1226 *** [[https://github.com/haskell/haskell-mode][haskell-mode]]
1228 #+begin_src emacs-lisp
1229 (use-package haskell-mode
1232 (setq haskell-indentation-layout-offset 4
1233 haskell-indentation-left-offset 4
1234 flycheck-checker 'haskell-hlint
1235 flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
1238 *** [[https://github.com/jyp/dante][dante]]
1240 #+begin_src emacs-lisp
1243 :commands dante-mode
1244 :hook (haskell-mode . dante-mode))
1247 *** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
1249 Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
1250 executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
1252 #+begin_src emacs-lisp
1253 (use-package hlint-refactor
1255 :bind (:map hlint-refactor-mode-map
1256 ("C-c l b" . hlint-refactor-refactor-buffer)
1257 ("C-c l r" . hlint-refactor-refactor-at-point))
1258 :hook (haskell-mode . hlint-refactor-mode))
1261 *** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
1263 #+begin_src emacs-lisp
1264 (use-package flycheck-haskell
1265 :after haskell-mode)
1268 *** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
1270 :header-args+: :tangle lisp/hs-lint.el :mkdirp yes
1273 Currently using =flycheck-haskell= with the =haskell-hlint= checker
1276 #+begin_src emacs-lisp :tangle no
1277 ;;; hs-lint.el --- minor mode for HLint code checking
1279 ;; Copyright 2009 (C) Alex Ott
1281 ;; Author: Alex Ott <alexott@gmail.com>
1282 ;; Keywords: haskell, lint, HLint
1284 ;; Status: distributed under terms of GPL2 or above
1286 ;; Typical message from HLint looks like:
1288 ;; /Users/ott/projects/lang-exp/haskell/test.hs:52:1: Eta reduce
1290 ;; count1 p l = length (filter p l)
1292 ;; count1 p = length . filter p
1297 (defgroup hs-lint nil
1298 "Run HLint as inferior of Emacs, parse error messages."
1302 (defcustom hs-lint-command "hlint"
1303 "The default hs-lint command for \\[hlint]."
1307 (defcustom hs-lint-save-files t
1308 "Save modified files when run HLint or no (ask user)"
1312 (defcustom hs-lint-replace-with-suggestions nil
1313 "Replace user's code with suggested replacements"
1317 (defcustom hs-lint-replace-without-ask nil
1318 "Replace user's code with suggested replacements automatically"
1322 (defun hs-lint-process-setup ()
1323 "Setup compilation variables and buffer for `hlint'."
1324 (run-hooks 'hs-lint-setup-hook))
1326 ;; regex for replace suggestions
1328 ;; ^\(.*?\):\([0-9]+\):\([0-9]+\): .*
1334 (defvar hs-lint-regex
1335 "^\\(.*?\\):\\([0-9]+\\):\\([0-9]+\\): .*[\n\C-m]Found:[\n\C-m]\\s +\\(.*\\)[\n\C-m]Why not:[\n\C-m]\\s +\\(.*\\)[\n\C-m]"
1336 "Regex for HLint messages")
1338 (defun make-short-string (str maxlen)
1339 (if (< (length str) maxlen)
1341 (concat (substring str 0 (- maxlen 3)) "...")))
1343 (defun hs-lint-replace-suggestions ()
1344 "Perform actual replacement of suggestions"
1345 (goto-char (point-min))
1346 (while (re-search-forward hs-lint-regex nil t)
1347 (let* ((fname (match-string 1))
1348 (fline (string-to-number (match-string 2)))
1349 (old-code (match-string 4))
1350 (new-code (match-string 5))
1351 (msg (concat "Replace '" (make-short-string old-code 30)
1352 "' with '" (make-short-string new-code 30) "'"))
1358 (switch-to-buffer (get-file-buffer fname))
1359 (goto-char (point-min))
1360 (forward-line (1- fline))
1362 (setf bline (point))
1363 (when (or hs-lint-replace-without-ask
1366 (setf eline (point))
1368 (setf old-code (regexp-quote old-code))
1369 (while (string-match "\\\\ " old-code spos)
1370 (setf new-old-code (concat new-old-code
1371 (substring old-code spos (match-beginning 0))
1373 (setf spos (match-end 0)))
1374 (setf new-old-code (concat new-old-code (substring old-code spos)))
1375 (remove-text-properties bline eline '(composition nil))
1376 (when (re-search-forward new-old-code eline t)
1377 (replace-match new-code nil t)))))))
1379 (defun hs-lint-finish-hook (buf msg)
1380 "Function, that is executed at the end of HLint execution"
1381 (if hs-lint-replace-with-suggestions
1382 (hs-lint-replace-suggestions)
1385 (define-compilation-mode hs-lint-mode "HLint"
1386 "Mode for check Haskell source code."
1387 (set (make-local-variable 'compilation-process-setup-function)
1388 'hs-lint-process-setup)
1389 (set (make-local-variable 'compilation-disable-input) t)
1390 (set (make-local-variable 'compilation-scroll-output) nil)
1391 (set (make-local-variable 'compilation-finish-functions)
1392 (list 'hs-lint-finish-hook))
1396 "Run HLint for current buffer with haskell source"
1398 (save-some-buffers hs-lint-save-files)
1399 (compilation-start (concat hs-lint-command " \"" buffer-file-name "\"")
1403 ;;; hs-lint.el ends here
1406 #+begin_src emacs-lisp :tangle no
1407 (use-package hs-lint
1409 :bind (:map haskell-mode-map
1410 ("C-c l l" . hs-lint)))
1417 #+begin_src emacs-lisp
1418 (use-package sgml-mode
1421 (setq sgml-basic-offset 2))
1426 #+begin_src emacs-lisp
1427 (use-package css-mode
1430 (setq css-indent-offset 2))
1435 #+begin_src emacs-lisp
1436 (use-package web-mode
1441 web-mode-code-indent-offset
1442 web-mode-css-indent-offset
1443 web-mode-markup-indent-offset))
1448 #+begin_src emacs-lisp
1449 (use-package emmet-mode
1450 :after (:any web-mode css-mode sgml-mode)
1451 :bind* (("C-)" . emmet-next-edit-point)
1452 ("C-(" . emmet-prev-edit-point))
1454 (unbind-key "C-j" emmet-mode-keymap)
1455 (setq emmet-move-cursor-between-quotes t)
1456 :hook (web-mode css-mode html-mode sgml-mode))
1463 #+begin_src emacs-lisp
1464 (use-package meghanada
1466 (:map meghanada-mode-map
1467 (("C-M-o" . meghanada-optimize-import)
1468 ("C-M-t" . meghanada-import-all)))
1469 :hook (java-mode . meghanada-mode))
1490 #+begin_src emacs-lisp
1491 (use-package treemacs
1492 :config (setq treemacs-never-persist t))
1494 (use-package yasnippet
1496 ;; (yas-global-mode)
1499 (use-package lsp-mode
1500 :init (setq lsp-eldoc-render-all nil
1501 lsp-highlight-symbol-at-point nil)
1506 (use-package company-lsp
1509 (setq company-lsp-cache-candidates t
1510 company-lsp-async t))
1514 (setq lsp-ui-sideline-update-mode 'point))
1516 (use-package lsp-java
1518 (add-hook 'java-mode-hook
1520 (setq-local company-backends (list 'company-lsp))))
1522 (add-hook 'java-mode-hook 'lsp-java-enable)
1523 (add-hook 'java-mode-hook 'flycheck-mode)
1524 (add-hook 'java-mode-hook 'company-mode)
1525 (add-hook 'java-mode-hook 'lsp-ui-mode))
1527 (use-package dap-mode
1533 (use-package dap-java
1536 (use-package lsp-java-treemacs
1542 #+begin_src emacs-lisp
1543 (use-package geiser)
1545 (use-package geiser-guile
1547 (setq geiser-guile-load-path "~/src/git/guix"))
1552 #+begin_src emacs-lisp
1554 :load-path "lib/guix/elisp")
1557 * Emacs Enhancements
1559 ** [[https://github.com/justbur/emacs-which-key][which-key]]
1562 Emacs package that displays available keybindings in popup
1565 #+begin_src emacs-lisp
1566 (use-package which-key
1568 :config (which-key-mode))
1573 #+begin_src emacs-lisp
1574 (add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
1575 (load-theme 'tangomod t)
1580 #+begin_src emacs-lisp
1581 (use-package smart-mode-line
1588 #+begin_src emacs-lisp
1589 (use-package doom-themes)
1592 ** theme helper functions
1594 #+begin_src emacs-lisp
1595 (defun amin/lights-on ()
1596 "Enable my favourite light theme."
1598 (mapc #'disable-theme custom-enabled-themes)
1599 (load-theme 'tangomod t)
1600 (sml/apply-theme 'automatic))
1602 (defun amin/lights-off ()
1605 (mapc #'disable-theme custom-enabled-themes)
1606 (load-theme 'doom-tomorrow-night t)
1607 (sml/apply-theme 'automatic))
1610 ("s-t d" . amin/lights-off)
1611 ("s-t l" . amin/lights-on))
1614 ** [[https://github.com/bbatsov/crux][crux]]
1616 #+begin_src emacs-lisp
1619 :bind (("C-c b k" . crux-kill-other-buffers)
1620 ("C-c d" . crux-duplicate-current-line-or-region)
1621 ("C-c D" . crux-duplicate-and-comment-current-line-or-region)
1622 ("C-c f c" . crux-copy-file-preserve-attributes)
1623 ("C-c f d" . crux-delete-file-and-buffer)
1624 ("C-c f r" . crux-rename-file-and-buffer)
1625 ("C-c j" . crux-top-join-line)
1626 ("C-S-j" . crux-top-join-line)))
1629 ** [[https://github.com/alezost/mwim.el][mwim]]
1631 #+begin_src emacs-lisp
1633 :bind (("C-a" . mwim-beginning-of-code-or-line)
1634 ("C-e" . mwim-end-of-code-or-line)
1635 ("<home>" . mwim-beginning-of-line-or-code)
1636 ("<end>" . mwim-end-of-line-or-code)))
1641 #+begin_src emacs-lisp
1642 (use-package projectile
1644 :bind-keymap ("C-c p" . projectile-command-map)
1648 (defun my-projectile-invalidate-cache (&rest _args)
1649 ;; ignore the args to `magit-checkout'
1650 (projectile-invalidate-cache nil))
1652 (eval-after-load 'magit-branch
1654 (advice-add 'magit-checkout
1655 :after #'my-projectile-invalidate-cache)
1656 (advice-add 'magit-branch-and-checkout
1657 :after #'my-projectile-invalidate-cache))))
1660 ** [[https://github.com/Wilfred/helpful][helpful]]
1662 #+begin_src emacs-lisp
1663 (use-package helpful
1666 (("C-S-h c" . helpful-command)
1667 ("C-S-h f" . helpful-callable) ; helpful-function
1668 ("C-S-h v" . helpful-variable)
1669 ("C-S-h k" . helpful-key)
1670 ("C-S-h p" . helpful-at-point)))
1673 ** [[https://github.com/knu/shell-toggle.el][shell-toggle]]
1675 #+begin_src emacs-lisp
1676 (use-package shell-toggle
1678 :bind ("C-c a s e" . amin/shell-toggle)
1680 (defun amin/shell-toggle (make-cd)
1681 "Toggle between the shell buffer and whatever buffer you are editing.
1682 With a prefix argument MAKE-CD also insert a \"cd DIR\" command
1683 into the shell, where DIR is the directory of the current buffer.
1685 When called in the shell buffer returns you to the buffer you were editing
1686 before calling this the first time.
1688 Options: `shell-toggle-goto-eob'"
1690 ;; Try to decide on one of three possibilities:
1691 ;; If not in shell-buffer, switch to it.
1692 ;; If in shell-buffer, return to state before going to the shell-buffer
1693 (if (eq (current-buffer) shell-toggle-shell-buffer)
1694 (shell-toggle-buffer-return-from-shell)
1696 (shell-toggle-buffer-goto-shell make-cd)
1697 (if shell-toggle-full-screen-window-only (delete-other-windows)))))
1699 ;; override to split horizontally instead
1700 (defun shell-toggle-buffer-switch-to-other-window ()
1701 "Switch to other window.
1702 If the current window is the only window in the current frame,
1703 create a new window and switch to it.
1705 \(This is less intrusive to the current window configuration than
1706 `switch-buffer-other-window')"
1707 (let ((this-window (selected-window)))
1709 ;; If we did not switch window then we only have one window and need to
1710 ;; create a new one.
1711 (if (eq this-window (selected-window))
1713 (split-window-horizontally)
1714 (other-window 1)))))
1717 (shell-toggle-launch-shell 'shell-toggle-eshell))
1720 ** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
1722 Make =*scratch*= and =*Messages*= unkillable.
1724 #+begin_src emacs-lisp
1725 (use-package unkillable-scratch
1728 (unkillable-scratch 1)
1730 (unkillable-scratch-behavior 'do-nothing)
1731 (unkillable-buffers '("^\\*scratch\\*$" "^\\*Messages\\*$")))
1734 ** [[https://github.com/davep/boxquote.el][boxquote.el]]
1738 | make pretty boxed quotes like this
1742 #+begin_src emacs-lisp
1743 (use-package boxquote
1746 (:prefix-map amin--boxquote-prefix-map
1748 ("b" . boxquote-buffer)
1749 ("B" . boxquote-insert-buffer)
1750 ("d" . boxquote-defun)
1751 ("F" . boxquote-insert-file)
1752 ("hf" . boxquote-describe-function)
1753 ("hk" . boxquote-describe-key)
1754 ("hv" . boxquote-describe-variable)
1755 ("hw" . boxquote-where-is)
1756 ("k" . boxquote-kill)
1757 ("p" . boxquote-paragraph)
1758 ("q" . boxquote-boxquote)
1759 ("r" . boxquote-region)
1760 ("s" . boxquote-shell-command)
1761 ("t" . boxquote-text)
1762 ("T" . boxquote-title)
1763 ("u" . boxquote-unbox)
1764 ("U" . boxquote-unbox-region)
1765 ("y" . boxquote-yank)
1766 ("M-q" . boxquote-fill-paragraph)
1767 ("M-w" . boxquote-kill-ring-save)))
1770 Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
1772 ** COMMENT [[https://github.com/DarthFennec/highlight-indent-guides][highlight-indent-guides]]
1774 #+begin_src emacs-lisp
1775 (use-package highlight-indent-guides
1777 :hook ((prog-mode . highlight-indent-guides-mode)
1778 ;; (org-mode . highlight-indent-guides-mode)
1781 (setq highlight-indent-guides-character ?\|)
1782 (setq highlight-indent-guides-auto-enabled nil)
1783 (setq highlight-indent-guides-method 'character)
1784 (setq highlight-indent-guides-responsive 'top)
1785 (set-face-foreground 'highlight-indent-guides-character-face "gainsboro")
1786 (set-face-foreground 'highlight-indent-guides-top-character-face "grey40")) ; grey13 is nice too
1791 #+begin_src emacs-lisp
1792 (use-package pdf-tools
1794 :magic ("%PDF" . pdf-view-mode)
1796 (setq pdf-view-resize-factor 1.05)
1799 (:map pdf-view-mode-map
1800 ("C-s" . isearch-forward)
1801 ("C-r" . isearch-backward)
1802 ("j" . pdf-view-next-line-or-next-page)
1803 ("k" . pdf-view-previous-line-or-previous-page)
1804 ("h" . image-backward-hscroll)
1805 ("l" . image-forward-hscroll)))
1810 #+begin_src emacs-lisp
1814 (typo-global-mode 1)
1815 :hook (text-mode . typo-mode))
1820 #+begin_src emacs-lisp
1821 (use-package hl-todo
1824 (global-hl-todo-mode))
1829 #+begin_src emacs-lisp
1830 (use-package shrink-path
1833 (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
1834 eshell-prompt-function #'+eshell/prompt)
1836 (defun +eshell/prompt ()
1837 (let ((base/dir (shrink-path-prompt default-directory)))
1838 (concat (propertize (car base/dir)
1839 'face 'font-lock-comment-face)
1840 (propertize (cdr base/dir)
1841 'face 'font-lock-constant-face)
1842 (propertize (+eshell--current-git-branch)
1843 'face 'font-lock-function-name-face)
1845 (propertize "λ" 'face 'eshell-prompt-face)
1846 ;; needed for the input text to not have prompt face
1847 (propertize " " 'face 'default))))
1849 (defun +eshell--current-git-branch ()
1850 (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
1851 when (string-match "^\*" match)
1853 (if (not (eq branch nil))
1854 (concat " " (substring branch 2))
1860 Hopefully temporary.
1862 #+begin_src emacs-lisp
1864 :commands (slack-start)
1866 (eval-when-compile ; silence the byte-compiler
1867 (defvar url-http-data nil)
1868 (defvar url-http-extra-headers nil)
1869 (defvar url-http-method nil)
1870 (defvar url-callback-function nil)
1871 (defvar url-callback-arguments nil)
1872 (defvar oauth--token-data nil))
1873 (setq slack-buffer-emojify t
1874 slack-prefer-current-team t)
1876 (slack-register-team
1879 :client-id uw-apv-client-id
1880 :client-secret uw-apv-client-secret
1882 :subscribed-channels '(general)
1883 :full-and-display-names t)
1884 (slack-register-team
1887 :client-id watform-client-id
1888 :client-secret watform-client-secret
1889 :token watform-token
1890 :subscribed-channels '(general)
1891 :full-and-display-names t)
1892 (add-to-list 'swiper-font-lock-exclude 'slack-message-buffer-mode t)
1893 (setq lui-time-stamp-format "[%Y-%m-%d %H:%M:%S]"
1894 lui-time-stamp-only-when-changed-p t
1895 lui-time-stamp-position 'right)
1897 (("C-c s s" . slack-start)
1898 ("C-c s u" . slack-select-unread-rooms)
1899 ("C-c s b" . slack-select-rooms)
1900 ("C-c s t" . slack-change-current-team)
1901 ("C-c s c" . slack-ws-close)
1903 ("M-p" . slack-buffer-goto-prev-message)
1904 ("M-n" . slack-buffer-goto-next-message)
1905 ("C-c e" . slack-message-edit)
1906 ("C-c k" . slack-message-delete)
1907 ("C-c C-k" . slack-channel-leave)
1908 ("C-c r a" . slack-message-add-reaction)
1909 ("C-c r r" . slack-message-remove-reaction)
1910 ("C-c r s" . slack-message-show-reaction-users)
1911 ("C-c p l" . slack-room-pins-list)
1912 ("C-c p a" . slack-message-pins-add)
1913 ("C-c p r" . slack-message-pins-remove)
1914 ("@" . slack-message-embed-mention)
1915 ("#" . slack-message-embed-channel)))
1920 (setq alert-default-style 'notifier))
1923 ** [[https://github.com/peterwvj/eshell-up][eshell-up]]
1925 #+begin_src emacs-lisp
1926 (use-package eshell-up
1932 #+begin_src emacs-lisp
1933 (use-package multi-term
1935 :bind (("C-c C-j" . term-line-mode)
1936 ("C-c a s m m" . multi-term)
1937 ("C-c a s m p" . multi-term-dedicated-toggle))
1939 (setq multi-term-program "/bin/screen"
1940 ;; TODO: add separate bindings for connecting to existing
1941 ;; session vs. always creating a new one
1942 multi-term-dedicated-select-after-open-p t
1943 multi-term-dedicated-window-height 20
1944 multi-term-dedicated-max-window-height 30
1946 '(("C-c C-c" . term-interrupt-subjob)
1947 ("C-c C-e" . term-send-esc)
1949 ("C-y" . term-paste)
1950 ("M-f" . term-send-forward-word)
1951 ("M-b" . term-send-backward-word)
1952 ("M-p" . term-send-up)
1953 ("M-n" . term-send-down)
1954 ("<C-backspace>" . term-send-backward-kill-word)
1955 ("<M-DEL>" . term-send-backward-kill-word)
1956 ("M-d" . term-send-delete-word)
1957 ("M-," . term-send-raw)
1958 ("M-." . comint-dynamic-complete))
1959 term-unbind-key-alist
1960 '("C-z" "C-x" "C-c" "C-h" "C-y" "<ESC>")))
1965 #+begin_src emacs-lisp
1966 (use-package page-break-lines
1968 (global-page-break-lines-mode))
1973 #+begin_src emacs-lisp
1974 (defvar amin-maildir (expand-file-name "~/mail/"))
1976 (add-to-list 'recentf-exclude amin-maildir))
1981 #+begin_src emacs-lisp
1983 amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
1984 mail-user-agent 'gnus-user-agent
1985 read-mail-command 'gnus)
1988 :bind (("C-c m" . gnus)
1989 ("C-c M" . gnus-unplugged)
1991 ("s-M" . gnus-unplugged))
1994 gnus-select-method '(nnnil "")
1995 gnus-secondary-select-methods
1997 (nnimap-stream plain)
1998 (nnimap-address "127.0.0.1")
1999 (nnimap-server-port 143)
2000 (nnimap-authenticator plain)
2001 (nnimap-user "amin@aminb.org"))
2003 (nnimap-stream plain)
2004 (nnimap-address "127.0.0.1")
2005 (nnimap-server-port 143)
2006 (nnimap-authenticator plain)
2007 (nnimap-user "abandali@uwaterloo.ca")))
2008 gnus-message-archive-group "nnimap+amin:Sent"
2012 gnus-large-newsgroup 50
2013 gnus-home-directory (no-littering-expand-var-file-name "gnus/")
2014 gnus-directory (concat gnus-home-directory "news/")
2015 message-directory (concat gnus-home-directory "mail/")
2016 nndraft-directory (concat gnus-home-directory "drafts/")
2017 gnus-save-newsrc-file nil
2018 gnus-read-newsrc-file nil
2019 gnus-interactive-exit nil
2020 gnus-gcc-mark-as-read t))
2022 (use-package gnus-art
2025 gnus-visible-headers
2026 (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
2027 gnus-sorted-header-list
2028 '("^From:" "^Subject:" "^Summary:" "^Keywords:"
2029 "^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
2030 "^Newsgroups:" "List-Id:" "^Organization:"
2031 "^User-Agent:" "^Date:")
2032 ;; local-lapsed article dates
2033 ;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
2034 gnus-article-date-headers '(user-defined)
2035 gnus-article-time-format
2037 (let* ((date (format-time-string "%a, %d %b %Y %T %z" time))
2038 (local (article-make-date-line date 'local))
2039 (combined-lapsed (article-make-date-line date
2042 (string-match " (.+" combined-lapsed)
2043 (match-string 0 combined-lapsed))))
2044 (concat local lapsed))))
2046 :map gnus-article-mode-map
2047 ("r" . gnus-article-reply-with-original)
2048 ("R" . gnus-article-wide-reply-with-original)
2049 ("M-L" . org-store-link)))
2051 (use-package gnus-sum
2052 :bind (:map gnus-summary-mode-map
2053 :prefix-map amin--gnus-summary-prefix-map
2055 ("r" . gnus-summary-reply)
2056 ("w" . gnus-summary-wide-reply)
2057 ("v" . gnus-summary-show-raw-article))
2060 :map gnus-summary-mode-map
2061 ("r" . gnus-summary-reply-with-original)
2062 ("R" . gnus-summary-wide-reply-with-original)
2063 ("M-L" . org-store-link))
2064 :hook (gnus-summary-mode . amin--no-mouse-autoselect-window))
2066 (use-package gnus-msg
2068 (setq gnus-posting-styles
2070 (address "amin@aminb.org")
2071 (body "\nBest,\namin\n")
2072 (eval (setq amin--message-cite-say-hi t)))
2074 (address "bandali@gnu.org"))
2075 ((header "subject" "ThankCRM")
2076 (to "webmasters-comment@gnu.org")
2077 (body "\nAdded to 2018supporters.html.\n\nMoving to campaigns.\n\n-amin\n")
2078 (eval (setq amin--message-cite-say-hi nil)))
2079 ("nnimap\\+uwaterloo:.*"
2080 (address "abandali@uwaterloo.ca")
2081 (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
2083 (use-package gnus-topic
2084 :hook (gnus-group-mode . gnus-topic-mode))
2086 (use-package gnus-agent
2088 (setq gnus-agent-synchronize-flags 'ask)
2089 :hook (gnus-group-mode . gnus-agent-mode))
2091 (use-package gnus-group
2093 (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
2095 (use-package mm-decode
2097 (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
2102 #+begin_src emacs-lisp
2103 (use-package sendmail
2105 (setq sendmail-program "/usr/bin/msmtp"
2106 ;; message-sendmail-extra-arguments '("-v" "-d")
2107 mail-specify-envelope-from t
2108 mail-envelope-from 'header))
2113 #+begin_src emacs-lisp
2114 (use-package message
2116 (defconst amin--message-cite-style-format "On %Y-%m-%d %l:%M %p, %N wrote:")
2117 (defconst message-cite-style-bandali
2118 '((message-cite-function 'message-cite-original)
2119 (message-citation-line-function 'message-insert-formatted-citation-line)
2120 (message-cite-reply-position 'traditional)
2121 (message-yank-prefix "> ")
2122 (message-yank-cited-prefix ">")
2123 (message-yank-empty-prefix ">")
2124 (message-citation-line-format
2125 (if amin--message-cite-say-hi
2126 (concat "Hi %F,\n\n" amin--message-cite-style-format)
2127 amin--message-cite-style-format)))
2128 "Citation style based on Mozilla Thunderbird's. Use with message-cite-style.")
2129 (setq message-cite-style 'message-cite-style-bandali
2130 message-kill-buffer-on-exit t
2131 message-send-mail-function 'message-send-mail-with-sendmail
2132 message-sendmail-envelope-from 'header
2133 message-dont-reply-to-names
2134 "\\(\\(.*@aminb\\.org\\)\\|\\(amin@bandali\\.me\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
2135 message-user-fqdn "aminb.org")
2136 :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
2137 (message-mode . flyspell-mode)
2138 (message-mode . (lambda ()
2139 ;; (setq fill-column 65
2140 ;; message-fill-column 65)
2141 (make-local-variable 'company-idle-delay)
2142 (setq company-idle-delay 0.2))))
2144 ;; (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
2145 ;; (message-header-to ((t (:foreground "#111" :weight normal))))
2146 ;; (message-header-cc ((t (:foreground "#333" :weight normal))))
2150 (setq mml-secure-openpgp-encrypt-to-self t
2151 mml-secure-openpgp-sign-with-sender t))
2156 Convenient footnotes in =message-mode=.
2158 #+begin_src emacs-lisp
2159 (use-package footnote
2162 (:map message-mode-map
2163 :prefix-map amin--footnote-prefix-map
2165 ("a" . footnote-add-footnote)
2166 ("b" . footnote-back-to-message)
2167 ("c" . footnote-cycle-style)
2168 ("d" . footnote-delete-footnote)
2169 ("g" . footnote-goto-footnote)
2170 ("r" . footnote-renumber-footnotes)
2171 ("s" . footnote-set-style))
2173 (setq footnote-start-tag ""
2175 footnote-style 'unicode))
2180 Manually install bbdb (=lisp/bbdb= copied from an ELPA-based setup),
2181 because installing it from source on Emacs 27 using the following
2182 submodule configuration for some reason doesn’t work and results in
2183 very strange errors when using any of the functions.
2185 #+begin_src conf :tangle no
2188 url = https://git.savannah.nongnu.org/git/bbdb.git
2191 build-step = ./autogen.sh
2192 build-step = ./configure
2194 build-step = make install
2197 I tried using =borg-elpa= instead of doing it like this, but it added
2198 2 seconds to my startup time, which is unacceptable to me.
2200 #+begin_src emacs-lisp
2202 :load-path "lisp/bbdb"
2204 (load (expand-file-name "lisp/bbdb/bbdb-autoloads.el" user-emacs-directory))
2205 ;; (bbdb-mua-auto-update-init 'message)
2206 (setq bbdb-mua-auto-update-p 'query
2207 bbdb-complete-mail nil)
2208 (bbdb-initialize 'gnus 'message))
2211 ** COMMENT message-x
2213 #+begin_src emacs-lisp
2214 (use-package message-x
2216 (message-x-completion-alist
2218 (("\\([rR]esent-\\|[rR]eply-\\)?[tT]o:\\|[bB]?[cC][cC]:" . gnus-harvest-find-address)
2221 (quote message-newgroups-header-regexp))
2222 message-newgroups-header-regexp message-newsgroups-header-regexp)
2223 . message-expand-group)))))
2226 ** COMMENT gnus-harvest
2228 #+begin_src emacs-lisp
2229 (use-package gnus-harvest
2230 :commands gnus-harvest-install
2233 (if (featurep 'message-x)
2234 (gnus-harvest-install 'message-x)
2235 (gnus-harvest-install)))
2240 ** [[https://ox-hugo.scripter.co][ox-hugo]]
2242 #+begin_src emacs-lisp
2243 (use-package ox-hugo
2246 (use-package ox-hugo-auto-export
2247 :load-path "lib/ox-hugo")
2250 * Post initialization
2252 :CUSTOM_ID: post-initialization
2255 Display how long it took to load the init file.
2257 #+begin_src emacs-lisp
2258 (message "Loading %s...done (%.3fs)" user-init-file
2259 (float-time (time-subtract (current-time)
2260 amin--before-user-init-time)))
2268 #+begin_src emacs-lisp :comments none
2269 ;;; init.el ends here
2272 * COMMENT Local Variables :ARCHIVE:
2274 # eval: (add-hook 'after-save-hook #'amin/async-babel-tangle 'append 'local)
2275 # eval: (typo-mode -1)