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