X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/2a816b71e9c4a804e0bb6602ab04a3031a1ec5c1..f18c738452d3c93ace3ff60cb339d8918f15e365:/.emacs.d/init.el diff --git a/.emacs.d/init.el b/.emacs.d/init.el index b2c99f8..ab634c8 100644 --- a/.emacs.d/init.el +++ b/.emacs.d/init.el @@ -18,9 +18,8 @@ ;;; Commentary: ;; Emacs configuration of Amin Bandali, computer scientist, functional -;; programmer, and free software activist. Used to use straight.el -;; for purely functional and fully reproducible package management. -;; Now I just use Guix. +;; programmer, and free software activist. Uses straight.el for +;; purely functional and fully reproducible package management. ;; Over the years, I've taken inspiration from configurations of many ;; great people. Some that I can remember off the top of my head are: @@ -87,7 +86,81 @@ nil) -;;; use-package +;;; Package management + +;; No package.el (for emacs 26 and before, uncomment the following) +;; Not necessary when using straight.el +;; (C-h v straight-package-neutering-mode RET) + +(when (and + (not (featurep 'straight)) + (version< emacs-version "27")) + (setq package-enable-at-startup nil) + ;; (package-initialize) + ) + +;; for emacs 27 and later, we use early-init.el. see +;; https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=24acb31c04b4048b85311d794e600ecd7ce60d3b + +;; straight.el + +;; Main engine start... + +(setq straight-repository-branch "develop" + straight-check-for-modifications '(check-on-save find-when-checking)) + +(defun b/bootstrap-straight () + (defvar bootstrap-version) + (let ((bootstrap-file + (expand-file-name "straight/repos/straight.el/bootstrap.el" user-emacs-directory)) + (bootstrap-version 5)) + (unless (file-exists-p bootstrap-file) + (with-current-buffer + (url-retrieve-synchronously + "https://raw.githubusercontent.com/raxod502/straight.el/develop/install.el" + 'silent 'inhibit-cookies) + (goto-char (point-max)) + (eval-print-last-sexp))) + (load bootstrap-file nil 'nomessage))) + +;; Solid rocket booster ignition... + +(b/bootstrap-straight) + +;; We have lift off! + +(setq straight-use-package-by-default t) + +(defmacro use-feature (name &rest args) + "Like `use-package', but with `straight-use-package-by-default' disabled." + (declare (indent 1)) + `(use-package ,name + :straight nil + ,@args)) + +(with-eval-after-load 'use-package-core + (let ((upflk (car use-package-font-lock-keywords))) + (font-lock-add-keywords + 'emacs-lisp-mode + `((,(replace-regexp-in-string + "use-package" "use-feature" + (car upflk)) + ,@(cdr upflk)))))) + +(with-eval-after-load 'recentf + (add-to-list 'recentf-exclude + (expand-file-name "~/.emacs.d/straight/build/"))) + +(defun b/reload-init () + "Reload init.el." + (interactive) + (setq b/file-name-handler-alist file-name-handler-alist) + (load user-init-file nil 'nomessage) + (b/post-init)) + +;; use-package +(straight-use-package 'use-package) + (if nil ; set to t when need to debug init (progn (setq use-package-verbose t @@ -130,7 +203,7 @@ nsm-settings-file (b/var "nsm-settings.el")) ;; separate custom file (don't want it mixing with init.el) -(use-package custom +(use-feature custom :no-require t :config (setq custom-file (b/etc "custom.el")) @@ -164,7 +237,7 @@ ;; start up emacs server. see ;; https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server -(use-package server +(use-feature server :defer 0.4 :config (or (server-running-p) (server-mode))) @@ -220,38 +293,20 @@ For disabling the behaviour for certain buffers and/or modes." scroll-conservatively 10 scroll-preserve-screen-position 1) -(use-package mwheel +(use-feature mwheel :defer 0.4 :config (setq mouse-wheel-scroll-amount '(1 ((shift) . 1)) ; one line at a time mouse-wheel-progressive-speed nil ; don't accelerate scrolling mouse-wheel-follow-mouse t)) ; scroll window under mouse -(use-package pixel-scroll +(use-feature pixel-scroll :defer 0.4 :config (pixel-scroll-mode 1)) -;; ask for GPG passphrase in minibuffer -(use-package epa +(use-feature epg-config :custom - ; this will fail if gpg>=2.1 is not available - (epa-pinentry-mode 'loopback)) - -(use-package epg-config - :defer 0.4 - :custom - ((epg-gpg-program (executable-find "gpg")) - (epg-pinentry-mode 'loopback))) - -(use-package epg - :after epg-config) - -(use-package pinentry - :demand - :after (epa epg server) - :config - (setq pinentry--socket-dir server-socket-dir) - (pinentry-start)) + ((epg-gpg-program (executable-find "gpg")))) ;; useful libraries (require 'cl-lib) @@ -406,10 +461,10 @@ For disabling the behaviour for certain buffers and/or modes." ;; (enables niceties like `q' for quit) (setq view-read-only t) -(use-package vc +(use-feature vc :bind ("C-x v C-=" . vc-ediff)) -(use-package ediff +(use-feature ediff :config (add-hook 'ediff-after-quit-hook-internal 'winner-undo) :custom ((ediff-window-setup-function 'ediff-setup-windows-plain) (ediff-split-window-function 'split-window-horizontally))) @@ -459,10 +514,39 @@ For disabling the behaviour for certain buffers and/or modes." ("" . kill-this-buffer) ("" . ivy-switch-buffer)) +(bind-keys + :prefix-map mab/straight-prefix-map + :prefix "C-c p s" + ("u" . straight-use-package) + ("f" . straight-freeze-versions) + ("t" . straight-thaw-versions) + ("P" . straight-prune-build) + ("g" . straight-get-recipe) + ("r" . mab/reload-init) + ;; M-x ^straight-.*-all$ + ("a c" . straight-check-all) + ("a f" . straight-fetch-all) + ("a m" . straight-merge-all) + ("a n" . straight-normalize-all) + ("a F" . straight-pull-all) + ("a P" . straight-push-all) + ("a r" . straight-rebuild-all) + ;; M-x ^straight-.*-package$ + ("p c" . straight-check-package) + ("p f" . straight-fetch-package) + ("p m" . straight-merge-package) + ("p n" . straight-normalize-package) + ("p F" . straight-pull-package) + ("p P" . straight-push-package) + ("p r" . straight-rebuild-package)) + ;;; Essential packages -(use-package org +;; use the org-plus-contrib package to get the whole deal +(use-package org-plus-contrib) + +(use-feature org :defer 0.5 :config (setq org-src-tab-acts-natively t @@ -501,7 +585,7 @@ For disabling the behaviour for certain buffers and/or modes." '(org-block ((t (:background "#1d1f21")))) '(org-latex-and-related ((t (:foreground "#b294bb"))))) -(use-package ox-latex +(use-feature ox-latex :after ox :config (setq org-latex-listings 'listings @@ -517,7 +601,7 @@ For disabling the behaviour for certain buffers and/or modes." t) (require 'ox-beamer)) -(use-package ox-extra +(use-feature ox-extra :config (ox-extras-activate '(latex-header-blocks ignore-headlines))) @@ -587,7 +671,7 @@ For disabling the behaviour for certain buffers and/or modes." :custom-face (magit-diff-file-heading ((t (:weight normal))))) ;; recently opened files -(use-package recentf +(use-feature recentf :defer 0.2 ;; :config ;; (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:") @@ -673,7 +757,7 @@ This function is intended for use with `ivy-ignore-buffers'." ("C-z" . helm-select-action)) ; List actions :config (helm-mode 1))) -(use-package eshell +(use-feature eshell :defer 0.5 :commands eshell :bind ("C-c a s e" . eshell) @@ -707,7 +791,7 @@ This function is intended for use with `ivy-ignore-buffers'." (eshell-hist-ignoredups t) (eshell-input-filter 'eshell-input-filter-initial-space)) -(use-package ibuffer +(use-feature ibuffer :bind (("C-x C-b" . ibuffer) :map ibuffer-mode-map @@ -781,7 +865,7 @@ This function is intended for use with `ivy-ignore-buffers'." " " filename))) :hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default")))) -(use-package outline +(use-feature outline :disabled :hook (prog-mode . outline-minor-mode) :delight (outline-minor-mode " outl") @@ -800,10 +884,10 @@ This function is intended for use with `ivy-ignore-buffers'." ("h" . outline-hide-subtree) ("s" . outline-show-subtree))) -(use-package ls-lisp +(use-feature ls-lisp :custom (ls-lisp-dirs-first t)) -(use-package dired +(use-feature dired :config (setq dired-listing-switches "-alh" ls-lisp-use-insert-directory-program nil) @@ -852,12 +936,12 @@ This function is intended for use with `ivy-ignore-buffers'." (b/dired-start-process "zathura")))) :hook (dired-mode . dired-hide-details-mode)) -(use-package help +(use-feature help :config (temp-buffer-resize-mode) (setq help-window-select t)) -(use-package tramp +(use-feature tramp :config (add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:")) (add-to-list 'tramp-default-proxies-alist '("localhost" nil nil)) @@ -867,7 +951,7 @@ This function is intended for use with `ivy-ignore-buffers'." (use-package dash :config (dash-enable-font-lock)) -(use-package doc-view +(use-feature doc-view :bind (:map doc-view-mode-map ("M-RET" . image-previous-line))) @@ -883,51 +967,51 @@ This function is intended for use with `ivy-ignore-buffers'." :hook (magit-post-refresh . diff-hl-magit-post-refresh)) ;; display Lisp objects at point in the echo area -(use-package eldoc +(use-feature eldoc :when (version< "25" emacs-version) :delight " eldoc" :config (global-eldoc-mode)) ;; highlight matching parens -(use-package paren +(use-feature paren :demand :config (show-paren-mode)) -(use-package elec-pair +(use-feature elec-pair :demand :config (electric-pair-mode)) -(use-package simple +(use-feature simple :delight (auto-fill-function " fill") :config (column-number-mode)) ;; save minibuffer history -(use-package savehist +(use-feature savehist :config (savehist-mode) :custom (savehist-file (b/var "savehist.el"))) ;; automatically save place in files -(use-package saveplace +(use-feature saveplace :when (version< "25" emacs-version) :config (save-place-mode) :custom (save-place-file (b/var "save-place.el"))) -(use-package prog-mode +(use-feature prog-mode :config (global-prettify-symbols-mode) (defun indicate-buffer-boundaries-left () (setq indicate-buffer-boundaries 'left)) (add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left)) -(use-package text-mode +(use-feature text-mode :hook (text-mode . indicate-buffer-boundaries-left)) -(use-package conf-mode +(use-feature conf-mode :mode "\\.*rc$") -(use-package sh-mode +(use-feature sh-mode :mode "\\.bashrc$") (use-package company @@ -961,11 +1045,11 @@ This function is intended for use with `ivy-ignore-buffers'." (setq flycheck-check-syntax-automatically '(mode-enabled save)) :custom (flycheck-mode-line-prefix "flyc")) -(use-package flyspell +(use-feature flyspell :delight " flysp") ;; http://endlessparentheses.com/ispell-and-apostrophes.html -(use-package ispell +(use-feature ispell :defer 0.6 :config ;; ’ can be part of a word @@ -991,7 +1075,7 @@ This function is intended for use with `ivy-ignore-buffers'." (advice-add #'ispell-parse-output :filter-args #'endless/replace-quote)) -(use-package abbrev +(use-feature abbrev :delight " abbr" :hook (text-mode . abbrev-mode) :custom @@ -1000,43 +1084,45 @@ This function is intended for use with `ivy-ignore-buffers'." ;;; Programming modes -(use-package lisp-mode +(use-feature lisp-mode :config (defun indent-spaces-mode () (setq indent-tabs-mode nil)) (add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode)) -(use-package reveal +(use-feature reveal :delight (reveal-mode " reveal") :hook (emacs-lisp-mode . reveal-mode)) -(use-package elisp-mode +(use-feature elisp-mode :delight (emacs-lisp-mode "Elisp" :major)) -(comment - ;; TODO - (use-package alloy-mode - :straight (:host github :repo "dwwmmn/alloy-mode") - :mode "\\.als\\'" - :config (setq alloy-basic-offset 2)) +(use-package alloy-mode + :straight (:host github :repo "dwwmmn/alloy-mode") + :mode "\\.als\\'" + :config (setq alloy-basic-offset 2)) + +(eval-when-compile (defvar lean-mode-map)) +(use-package lean-mode + :straight (:host github :repo "leanprover/lean-mode" + :fork (:repo "notbandali/lean-mode" :branch "remove-cl")) + :defer 0.4 + :bind (:map lean-mode-map + ("S-SPC" . company-complete)) + :config + (require 'lean-input) + (setq default-input-method "Lean" + lean-input-tweak-all '(lean-input-compose + (lean-input-prepend "/") + (lean-input-nonempty)) + lean-input-user-translations '(("/" "/"))) + (lean-input-setup)) + +(comment (use-package proof-site ; for Coq :straight proof-general) - (eval-when-compile (defvar lean-mode-map)) - (use-package lean-mode - :defer 0.4 - :bind (:map lean-mode-map - ("S-SPC" . company-complete)) - :config - (require 'lean-input) - (setq default-input-method "Lean" - lean-input-tweak-all '(lean-input-compose - (lean-input-prepend "/") - (lean-input-nonempty)) - lean-input-user-translations '(("/" "/"))) - (lean-input-setup)) - (use-package haskell-mode :config (setq haskell-indentation-layout-offset 4 @@ -1061,11 +1147,11 @@ This function is intended for use with `ivy-ignore-buffers'." ;; alternative: hs-lint https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el ) -(use-package sgml-mode +(use-feature sgml-mode :config (setq sgml-basic-offset 2)) -(use-package css-mode +(use-feature css-mode :config (setq css-indent-offset 2)) @@ -1163,7 +1249,7 @@ This function is intended for use with `ivy-ignore-buffers'." (make-directory (b/var "geiser/") t) (setq geiser-repl-history-filename (b/var "geiser/repl-history"))) -(use-package geiser-guile +(use-feature geiser-guile :config (setq geiser-guile-load-path "~/src/git/guix")) @@ -1180,11 +1266,14 @@ This function is intended for use with `ivy-ignore-buffers'." :hook (po-mode . (lambda () (run-with-timer 0.1 nil 'View-exit)))) -(use-package tex-mode +(use-feature tex-mode :config (cl-delete-if (lambda (p) (string-match "^---?" (car p))) - tex--prettify-symbols-alist)) + tex--prettify-symbols-alist) + :hook ((tex-mode . auto-fill-mode) + (tex-mode . flyspell-mode) + (tex-mode . (lambda () (electric-indent-local-mode -1))))) ;;; Theme @@ -1201,9 +1290,7 @@ This function is intended for use with `ivy-ignore-buffers'." (sml/setup) (smart-mode-line-enable)) -(comment - ;; TODO - (use-package doom-themes)) +(use-package doom-themes) (defvar b/org-mode-font-lock-keywords '(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)" @@ -1532,7 +1619,11 @@ This function is intended for use with `ivy-ignore-buffers'." (yas-global-mode)) -(use-package debbugs) +(use-package debbugs + :straight (debbugs + :host github + :repo "emacs-straight/debbugs" + :files (:defaults "Debbugs.wsdl"))) (use-package org-ref :init @@ -1555,7 +1646,7 @@ This function is intended for use with `ivy-ignore-buffers'." (setq emojify-emojis-dir (b/var "emojify/")) :hook (erc-mode . emojify-mode)) -(use-package window +(use-feature window :bind (("C-c w " . split-window-right) ("C-c w " . split-window-below) @@ -1565,7 +1656,7 @@ This function is intended for use with `ivy-ignore-buffers'." :custom (split-width-threshold 150)) -(use-package windmove +(use-feature windmove :defer 0.6 :bind (("C-c w h" . windmove-left) @@ -1585,15 +1676,18 @@ This function is intended for use with `ivy-ignore-buffers'." (use-package pdf-tools :defer 0.5 :bind (:map pdf-view-mode-map - ("M-RET" . image-previous-line)) - :config (pdf-tools-install nil t)) + ("" . pdf-history-backward) + ("" . pdf-history-forward) + ("M-RET" . image-previous-line)) + :config (pdf-tools-install nil t) + :custom (pdf-view-resize-factor 1.05)) (use-package biblio) -(use-package reftex +(use-feature reftex :hook (latex-mode . reftex-mode)) -(use-package reftex-cite +(use-feature reftex-cite :after reftex :disabled ; enable to disable ; reftex-cite's default choice @@ -1619,7 +1713,7 @@ This function is intended for use with `ivy-ignore-buffers'." mail-user-agent 'gnus-user-agent read-mail-command 'gnus) -(use-package gnus +(use-feature gnus :bind (("s-m" . gnus) ("s-M" . gnus-unplugged) ("C-c a m" . gnus) @@ -1845,7 +1939,7 @@ This function is intended for use with `ivy-ignore-buffers'." (with-eval-after-load 'recentf (add-to-list 'recentf-exclude gnus-home-directory))) -(use-package gnus-art +(use-feature gnus-art :config (setq gnus-buttonized-mime-types '("multipart/\\(signed\\|encrypted\\)") @@ -1873,7 +1967,7 @@ This function is intended for use with `ivy-ignore-buffers'." :map gnus-article-mode-map ("M-L" . org-store-link))) -(use-package gnus-sum +(use-feature gnus-sum :bind (:map gnus-summary-mode-map :prefix-map b/gnus-summary-prefix-map :prefix "v" @@ -1886,7 +1980,7 @@ This function is intended for use with `ivy-ignore-buffers'." ("M-L" . org-store-link)) :hook (gnus-summary-mode . b/no-mouse-autoselect-window)) -(use-package gnus-msg +(use-feature gnus-msg :config (defvar b/signature "Amin Bandali Free Software Activist | GNU Webmaster & Volunteer @@ -1928,44 +2022,44 @@ https://csclub.uwaterloo.ca/~abandali") (signature b/csc-signature) (gcc "nnimap+csc:Sent"))))) -(use-package gnus-topic +(use-feature gnus-topic :hook (gnus-group-mode . gnus-topic-mode) :config (setq gnus-topic-line-format "%i[ %A: %(%{%n%}%) ]%v\n")) -(use-package gnus-agent +(use-feature gnus-agent :config (setq gnus-agent-synchronize-flags 'ask) :hook (gnus-group-mode . gnus-agent-mode)) -(use-package gnus-group +(use-feature gnus-group :config (setq gnus-permanently-visible-groups "\\(:INBOX$\\|:gnu$\\)")) (comment ;; problematic with ebdb's popup, *EBDB-Gnus* - (use-package gnus-win + (use-feature gnus-win :config (setq gnus-use-full-window nil))) -(use-package gnus-dired +(use-feature gnus-dired :commands gnus-dired-mode :init (add-hook 'dired-mode-hook 'gnus-dired-mode)) -(use-package mm-decode +(use-feature mm-decode :config (setq mm-discouraged-alternatives '("text/html" "text/richtext") mm-decrypt-option 'known mm-verify-option 'known)) -(use-package sendmail +(use-feature sendmail :config (setq sendmail-program (executable-find "msmtp") ;; message-sendmail-extra-arguments '("-v" "-d") mail-specify-envelope-from t mail-envelope-from 'header)) -(use-package message +(use-feature message :config ;; redefine for a simplified In-Reply-To header ;; (see https://todo.sr.ht/~sircmpwn/lists.sr.ht/67) @@ -2012,15 +2106,15 @@ https://csclub.uwaterloo.ca/~abandali") ;; (message-header-cc ((t (:foreground "#333" :weight normal)))) ) -(use-package mml +(use-feature mml :delight " mml") -(use-package mml-sec +(use-feature mml-sec :custom (mml-secure-openpgp-encrypt-to-self t) (mml-secure-openpgp-sign-with-sender t)) -(use-package footnote +(use-feature footnote :after message ;; :config ;; (setq footnote-start-tag "" @@ -2046,7 +2140,7 @@ https://csclub.uwaterloo.ca/~abandali") (with-eval-after-load 'swiper (add-to-list 'swiper-font-lock-exclude 'ebdb-mode t))) -(use-package ebdb-com +(use-feature ebdb-com :after ebdb) ;; (use-package ebdb-complete @@ -2058,7 +2152,7 @@ https://csclub.uwaterloo.ca/~abandali") :config (defun company-ebdb--post-complete (_) nil)) -(use-package ebdb-gnus +(use-feature ebdb-gnus :after ebdb :custom (ebdb-gnus-window-configuration @@ -2069,7 +2163,7 @@ https://csclub.uwaterloo.ca/~abandali") (article 1.0) (ebdb-gnus 0.3)))))) -(use-package ebdb-mua +(use-feature ebdb-mua :after ebdb ;; :custom (ebdb-mua-pop-up nil) ) @@ -2106,7 +2200,7 @@ https://csclub.uwaterloo.ca/~abandali") ;;; IRC (with ERC and ZNC) -(use-package erc +(use-feature erc :bind (("C-c b e" . erc-switch-to-buffer) :map erc-mode-map ("M-a" . erc-track-switch-buffer)) @@ -2207,19 +2301,19 @@ updates of `erc-lurker-state'." (puthash sender (current-time) (gethash server erc-lurker-state)))))))) -(use-package erc-fill +(use-feature erc-fill :after erc :custom (erc-fill-column 77) (erc-fill-function 'erc-fill-static) (erc-fill-static-center 18)) -(use-package erc-pcomplete +(use-feature erc-pcomplete :after erc :custom (erc-pcomplete-nick-postfix ",")) -(use-package erc-track +(use-feature erc-track :after erc :bind (("C-c a e t d" . erc-track-disable) ("C-c a e t e" . erc-track-enable)) @@ -2237,7 +2331,7 @@ updates of `erc-lurker-state'." :after erc) (use-package znc - :load-path "lisp/znc.el/" + :straight (:host nil :repo "https://git.shemshak.org/amin/znc.el") :bind (("C-c a e e" . znc-erc) ("C-c a e a" . znc-all)) :config