-;;; init.el --- Amin Bandali's Emacs config -*- lexical-binding: t -*-
+;;; init.el --- bandali's emacs configuration -*- lexical-binding: t -*-
;; Copyright (C) 2018-2019 Amin Bandali <bandali@gnu.org>
;;; Commentary:
;; Emacs configuration of Amin Bandali, computer scientist, functional
-;; programmer, and free software advocate. Uses straight.el for
-;; purely functional and fully reproducible package management.
+;; programmer, and free software activist. Used to use straight.el
+;; for purely functional and fully reproducible package management.
+;; Now I just use Guix.
;; 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:
;;; Emacs initialization
-(defvar a/before-user-init-time (current-time)
+(defvar b/before-user-init-time (current-time)
"Value of `current-time' when Emacs begins loading `user-init-file'.")
(message "Loading Emacs...done (%.3fs)"
- (float-time (time-subtract a/before-user-init-time
+ (float-time (time-subtract b/before-user-init-time
before-init-time)))
;; temporarily increase `gc-cons-threshhold' and `gc-cons-percentage'
;; during startup to reduce garbage collection frequency. clearing
;; `file-name-handler-alist' seems to help reduce startup time too.
-(defvar a/gc-cons-threshold gc-cons-threshold)
-(defvar a/gc-cons-percentage gc-cons-percentage)
-(defvar a/file-name-handler-alist file-name-handler-alist)
+(defvar b/gc-cons-threshold gc-cons-threshold)
+(defvar b/gc-cons-percentage gc-cons-percentage)
+(defvar b/file-name-handler-alist file-name-handler-alist)
(setq gc-cons-threshold (* 400 1024 1024) ; 400 MiB
gc-cons-percentage 0.6
file-name-handler-alist nil
esup-child-profile-require-level 0)
;; set them back to their defaults once we're done initializing
-(defun a/post-init ()
- (setq gc-cons-threshold a/gc-cons-threshold
- gc-cons-percentage a/gc-cons-percentage
- file-name-handler-alist a/file-name-handler-alist))
-(add-hook 'after-init-hook #'a/post-init)
+(defun b/post-init ()
+ (setq gc-cons-threshold b/gc-cons-threshold
+ gc-cons-percentage b/gc-cons-percentage
+ file-name-handler-alist b/file-name-handler-alist))
+(add-hook 'after-init-hook #'b/post-init)
;; increase number of lines kept in *Messages* log
(setq message-log-max 20000)
;;; whoami
(setq user-full-name "Amin Bandali"
- user-mail-address "amin@bndl.org")
+ user-mail-address "bandali@gnu.org")
\f
;;; comment macro
nil)
\f
-;;; 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 a/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...
-
-(a/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 defun))
- `(use-package ,name
- :straight nil
- ,@args))
-
-(with-eval-after-load 'recentf
- (add-to-list 'recentf-exclude
- (expand-file-name "~/.emacs.d/straight/build/")))
-
-(defun a/reload-init ()
- "Reload init.el."
- (interactive)
- (setq a/file-name-handler-alist file-name-handler-alist)
- (load user-init-file nil 'nomessage)
- (a/post-init))
-
-;; use-package
-(straight-use-package 'use-package)
+;;; use-package
(if nil ; set to t when need to debug init
(progn
(setq use-package-verbose t
(use-package delight)
-;; for browsing the Emacsmirror package database
-(comment
- (use-package epkg
- :commands (epkg-list-packages epkg-describe-package)
- :bind
- (("C-c p e d" . epkg-describe-package)
- ("C-c p e p" . epkg-list-packages))
- :config
- (setq epkg-repository "~/.emacs.d/straight/repos/epkgs/")
- (eval-when-compile (defvar ivy-initial-inputs-alist))
- (with-eval-after-load 'ivy
- (add-to-list
- 'ivy-initial-inputs-alist '(epkg-describe-package . "^") t))))
-
\f
;;; Initial setup
;; keep ~/.emacs.d clean
-(use-package no-littering
- :demand t
- :config
- (savehist-mode 1)
- (add-to-list 'savehist-additional-variables 'kill-ring)
- (save-place-mode 1)
- (setq auto-save-file-name-transforms
- `((".*" ,(no-littering-expand-var-file-name "auto-save/") t))))
+(defvar b/etc-dir
+ (expand-file-name
+ (convert-standard-filename "etc/") user-emacs-directory)
+ "The directory where packages place their configuration files.")
+
+(defvar b/var-dir
+ (expand-file-name
+ (convert-standard-filename "var/") user-emacs-directory)
+ "The directory where packages place their persistent data files.")
+
+(defun b/etc (file)
+ "Expand filename FILE relative to `b/etc-dir'."
+ (expand-file-name (convert-standard-filename file) b/etc-dir))
+
+(defun b/var (file)
+ "Expand filename FILE relative to `b/var-dir'."
+ (expand-file-name (convert-standard-filename file) b/var-dir))
+
+(setq
+ auto-save-list-file-prefix (b/var "auto-save/sessions/")
+ nsm-settings-file (b/var "nsm-settings.el"))
;; separate custom file (don't want it mixing with init.el)
-(use-feature custom
+(use-package custom
:no-require t
:config
- (setq custom-file (no-littering-expand-etc-file-name "custom.el"))
+ (setq custom-file (b/etc "custom.el"))
(when (file-exists-p custom-file)
(load custom-file))
;; while at it, treat themes as safe
(setf custom-safe-themes t))
;; load the secrets file if it exists, otherwise show a warning
-(with-demoted-errors
- (load (no-littering-expand-etc-file-name "secrets")))
+(comment
+ (with-demoted-errors
+ (load (b/etc "secrets"))))
;; better $PATH (and other environment variable) handling
(use-package exec-path-from-shell
;; start up emacs server. see
;; https://www.gnu.org/software/emacs/manual/html_node/emacs/Emacs-Server.html#Emacs-Server
-(use-feature server
+(use-package server
:defer 0.4
:config (or (server-running-p) (server-mode)))
;; focus follows mouse
(setq mouse-autoselect-window t)
-(defun a/no-mouse-autoselect-window ()
+(defun b/no-mouse-autoselect-window ()
"Conveniently disable `focus-follows-mouse'.
For disabling the behaviour for certain buffers and/or modes."
(make-local-variable 'mouse-autoselect-window)
scroll-conservatively 10
scroll-preserve-screen-position 1)
-(use-feature mwheel
+(use-package 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-feature pixel-scroll
+(use-package pixel-scroll
:defer 0.4
:config (pixel-scroll-mode 1))
;; ask for GPG passphrase in minibuffer
-(setq epg-pinentry-mode 'loopback)
+(use-package epa
+ :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))
;; useful libraries
(require 'cl-lib)
\f
;;; Useful utilities
-(defmacro a/setq-every (value &rest vars)
+(defmacro b/setq-every (value &rest vars)
"Set all the variables from VARS to value VALUE."
(declare (indent defun) (debug t))
`(progn ,@(mapcar (lambda (x) (list 'setq x value)) vars)))
-(defun a/start-process (program &rest args)
+(defun b/start-process (program &rest args)
"Same as `start-process', but doesn't bother about name and buffer."
(let ((process-name (concat program "_process"))
(buffer-name (generate-new-buffer-name
(apply #'start-process
process-name buffer-name program args)))
-(defun a/dired-start-process (program &optional args)
+(defun b/dired-start-process (program &optional args)
"Open current file with a PROGRAM."
;; Shell command looks like this: "program [ARGS]... FILE" (ARGS can
;; be nil, so remove it).
- (apply #'a/start-process
+ (apply #'b/start-process
program
(remove nil (list args (dired-get-file-for-visit)))))
-(defun a/add-elisp-section ()
+(defun b/add-elisp-section ()
(interactive)
(insert "\n")
(previous-line)
;; backups (C-h v make-backup-files RET)
(setq backup-by-copying t
+ backup-directory-alist (list (cons "." (b/var "backup/")))
version-control t
delete-old-versions t)
;; https://stackoverflow.com/a/17788551, with changes to use `cl-letf'
;; instead of the now obsolete `flet'.
(with-eval-after-load 'compile
- (defun a/compilation-finish-function (buffer outstr)
+ (defun b/compilation-finish-function (buffer outstr)
(unless (string-match "finished" outstr)
(switch-to-buffer-other-window buffer))
t)
- (setq compilation-finish-functions #'a/compilation-finish-function)
+ (setq compilation-finish-functions #'b/compilation-finish-function)
(require 'cl-macs)
;; (enables niceties like `q' for quit)
(setq view-read-only t)
-(use-feature vc
+(use-package vc
:bind ("C-x v C-=" . vc-ediff))
-(use-feature ediff
+(use-package 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)))
+;; i don't feel like jumping out of my chair every now and again; so
+;; don't BEEP! at me, emacs
+(setq ring-bell-function 'ignore)
+
\f
;;; General bindings
("C-c e i" . emacs-init-time)
("C-c e u" . emacs-uptime)
+ ("C-c e v" . emacs-version)
("C-c F m" . make-frame-command)
("C-c F d" . delete-frame)
("C-c F D" . server-edit)
- ("C-c o" . other-window)
-
("C-S-h C" . describe-char)
("C-S-h F" . describe-face)
("C-x k" . kill-this-buffer)
("C-x K" . kill-buffer)
- ("s-p" . beginning-of-buffer)
- ("s-n" . end-of-buffer)
-
:map emacs-lisp-mode-map
- ("<C-return>" . a/add-elisp-section))
+ ("<C-return>" . b/add-elisp-section))
(when (display-graphic-p)
(unbind-key "C-z" global-map))
("<drag-mouse-2>" . kill-this-buffer)
("<drag-mouse-3>" . ivy-switch-buffer))
-(bind-keys
- :prefix-map a/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" . a/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))
-
\f
;;; Essential packages
-(use-package auto-compile
- :demand t
- :config
- (auto-compile-on-load-mode)
- (auto-compile-on-save-mode)
- (setq auto-compile-display-buffer nil
- auto-compile-mode-line-counter t
- auto-compile-source-recreate-deletes-dest t
- auto-compile-toggle-deletes-nonlib-dest t
- auto-compile-update-autoloads t)
- (add-hook 'auto-compile-inhibit-compile-hook
- 'auto-compile-inhibit-compile-detached-git-head))
-
-;; use the org-plus-contrib package to get the whole deal
-(straight-use-package 'org-plus-contrib)
-
-(use-feature org
+(use-package org
:defer 0.5
:config
(setq org-src-tab-acts-natively t
org-catch-invisible-edits 'show-and-error
org-log-done 'time)
(add-to-list 'org-structure-template-alist '("L" . "src emacs-lisp") t)
+ (add-to-list 'org-modules 'org-habit)
:bind
(("C-c a o a" . org-agenda)
:map org-mode-map
(org-mode . auto-fill-mode)
(org-mode . flyspell-mode))
:custom
+ (org-pretty-entities t)
(org-agenda-files '("~/usr/org/todos/personal.org"
- "~/usr/org/todos/masters.org"))
+ "~/usr/org/todos/habits.org"
+ "~/src/git/masters-thesis/todo.org"))
(org-agenda-start-on-weekday 0)
+ (org-agenda-time-leading-zero t)
+ (org-habit-graph-column 44)
(org-latex-packages-alist '(("" "listings") ("" "color")))
:custom-face
'(org-block-begin-line ((t (:foreground "#5a5b5a" :background "#1d1f21"))))
'(org-block ((t (:background "#1d1f21"))))
'(org-latex-and-related ((t (:foreground "#b294bb")))))
-(use-feature ox-latex
+(use-package ox-latex
:after ox
:config
(setq org-latex-listings 'listings
t)
(require 'ox-beamer))
-(use-feature ox-extra
+(use-package ox-extra
:config
(ox-extras-activate '(latex-header-blocks ignore-headlines)))
;; org file. closely inspired by
;; https://github.com/dieggsy/dotfiles/tree/cc10edf7701958eff1cd94d4081da544d882a28c/emacs.d#dotfiles
(with-eval-after-load 'org
- (defvar a/show-async-tangle-results nil
+ (defvar b/show-async-tangle-results nil
"Keep *emacs* async buffers around for later inspection.")
- (defvar a/show-async-tangle-time nil
+ (defvar b/show-async-tangle-time nil
"Show the time spent tangling the file.")
- (defun a/async-babel-tangle ()
+ (defun b/async-babel-tangle ()
"Tangle org file asynchronously."
(interactive)
(let* ((file-tangle-start-time (current-time))
`(lambda ()
(require 'org)
(org-babel-tangle-file ,file))
- (unless a/show-async-tangle-results
+ (unless b/show-async-tangle-results
`(lambda (result)
(if result
(message "Tangled %s%s"
,file-nodir
- (if a/show-async-tangle-time
+ (if b/show-async-tangle-time
(format " (%.3fs)"
(float-time (time-subtract (current-time)
',file-tangle-start-time)))
(add-to-list
'safe-local-variable-values
- '(eval add-hook 'after-save-hook #'a/async-babel-tangle 'append 'local))
+ '(eval add-hook 'after-save-hook #'b/async-babel-tangle 'append 'local))
;; *the* right way to do git
(use-package magit
(nconc magit-section-initial-visibility-alist
'(([unpulled status] . show)
([unpushed status] . show)))
+ (setq transient-history-file (b/var "transient/history.el")
+ transient-levels-file (b/etc "transient/levels.el")
+ transient-values-file (b/etc "transient/values.el"))
:custom (magit-display-buffer-function #'magit-display-buffer-fullframe-status-v1)
:custom-face (magit-diff-file-heading ((t (:weight normal)))))
;; recently opened files
-(use-feature recentf
+(use-package recentf
:defer 0.2
- :config
- (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
- (setq recentf-max-saved-items 40))
+ ;; :config
+ ;; (add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
+ :custom
+ (recentf-max-saved-items 2000)
+ (recentf-save-file (b/var "recentf-save.el")))
;; smart M-x enhancement (needed by counsel for history)
-(use-package smex)
+(use-package smex
+ :config
+ (setq smex-save-file (b/var "smex-save.el")))
(use-package ivy
:defer 0.3
("C-z" . helm-select-action)) ; List actions
:config (helm-mode 1)))
-(use-feature eshell
+(use-package eshell
:defer 0.5
:commands eshell
:bind ("C-c a s e" . eshell)
:config
(eval-when-compile (defvar eshell-prompt-regexp))
- (defun a/eshell-quit-or-delete-char (arg)
+ (defun b/eshell-quit-or-delete-char (arg)
(interactive "p")
(if (and (eolp) (looking-back eshell-prompt-regexp nil))
(eshell-life-is-too-much)
(delete-char arg)))
- (defun a/eshell-clear ()
+ (defun b/eshell-clear ()
(interactive)
(let ((inhibit-read-only t))
(erase-buffer))
(eshell-send-input))
- (defun a/eshell-setup ()
+ (defun b/eshell-setup ()
(make-local-variable 'company-idle-delay)
(defvar company-idle-delay)
(setq company-idle-delay nil)
(bind-keys :map eshell-mode-map
- ("C-d" . a/eshell-quit-or-delete-char)
- ("C-S-l" . a/eshell-clear)
+ ("C-d" . b/eshell-quit-or-delete-char)
+ ("C-S-l" . b/eshell-clear)
("M-r" . counsel-esh-history)
([tab] . company-complete)))
- :hook (eshell-mode . a/eshell-setup)
+ :hook (eshell-mode . b/eshell-setup)
:custom
+ (eshell-directory-name (b/var "eshell/"))
(eshell-hist-ignoredups t)
(eshell-input-filter 'eshell-input-filter-initial-space))
-(use-feature ibuffer
+(use-package ibuffer
:bind
- (("C-x C-b" . ibuffer-other-window)
+ (("C-x C-b" . ibuffer)
:map ibuffer-mode-map
("P" . ibuffer-backward-filter-group)
("N" . ibuffer-forward-filter-group)
" " filename)))
:hook (ibuffer . (lambda () (ibuffer-switch-to-saved-filter-groups "default"))))
-(use-feature outline
+(use-package outline
:hook (prog-mode . outline-minor-mode)
:delight (outline-minor-mode " outl")
:bind
("<s-tab>" . outline-toggle-children)
("M-p" . outline-previous-visible-heading)
("M-n" . outline-next-visible-heading)
- :prefix-map a/outline-prefix-map
- :prefix "s-o"
+ :prefix-map b/outline-prefix-map
+ :prefix "s-O"
("TAB" . outline-toggle-children)
("a" . outline-hide-body)
("H" . outline-hide-body)
("h" . outline-hide-subtree)
("s" . outline-show-subtree)))
-(use-feature ls-lisp
+(use-package ls-lisp
:custom (ls-lisp-dirs-first t))
-(use-feature dired
+(use-package dired
:config
(setq dired-listing-switches "-alh"
ls-lisp-use-insert-directory-program nil)
("\\" . dired-hide-details-mode)
("z" . (lambda ()
(interactive)
- (a/dired-start-process "zathura"))))
+ (b/dired-start-process "zathura"))))
:hook (dired-mode . dired-hide-details-mode))
-(use-feature help
+(use-package help
:config
(temp-buffer-resize-mode)
(setq help-window-select t))
-(use-feature tramp
+(use-package tramp
:config
(add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
(add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
:hook (magit-post-refresh . diff-hl-magit-post-refresh))
;; display Lisp objects at point in the echo area
-(use-feature eldoc
+(use-package eldoc
:when (version< "25" emacs-version)
:delight " eldoc"
:config (global-eldoc-mode))
;; highlight matching parens
-(use-feature paren
+(use-package paren
:demand
:config (show-paren-mode))
-(use-feature elec-pair
+(use-package elec-pair
:demand
:config (electric-pair-mode))
-(use-feature simple
+(use-package simple
:delight (auto-fill-function " fill")
:config (column-number-mode))
;; save minibuffer history
-(use-feature savehist
- :config (savehist-mode))
+(use-package savehist
+ :config
+ (savehist-mode)
+ :custom
+ (savehist-file (b/var "savehist.el")))
;; automatically save place in files
-(use-feature saveplace
+(use-package saveplace
:when (version< "25" emacs-version)
- :config (save-place-mode))
+ :config (save-place-mode)
+ :custom
+ (save-place-file (b/var "save-place.el")))
-(use-feature prog-mode
+(use-package 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-feature text-mode
+(use-package text-mode
:hook (text-mode . indicate-buffer-boundaries-left))
-(use-feature conf-mode
+(use-package conf-mode
:mode "\\.*rc$")
-(use-feature sh-mode
+(use-package sh-mode
:mode "\\.bashrc$")
(use-package company
:defer 0.6
- :delight " company"
+ :delight " comp"
:bind
(:map company-active-map
([tab] . company-complete-common-or-cycle)
(setq flycheck-check-syntax-automatically '(mode-enabled save))
:custom (flycheck-mode-line-prefix "flyc"))
-(use-feature flyspell
+(use-package flyspell
:delight " flysp")
;; http://endlessparentheses.com/ispell-and-apostrophes.html
;; ’ can be part of a word
(setq ispell-local-dictionary-alist
`((nil "[[:alpha:]]" "[^[:alpha:]]"
- "['\x2019]" nil ("-B") nil utf-8)))
+ "['\x2019]" nil ("-B") nil utf-8))
+ ispell-program-name (executable-find "hunspell"))
;; don't send ’ to the subprocess
(defun endless/replace-apostrophe (args)
(cons (replace-regexp-in-string
(advice-add #'ispell-parse-output :filter-args
#'endless/replace-quote))
-(use-feature abbrev
+(use-package abbrev
:delight " abbr"
- :hook (text-mode . abbrev-mode))
+ :hook (text-mode . abbrev-mode)
+ :custom
+ (abbrev-file-name (b/var "abbrev.el")))
\f
;;; Programming modes
-(use-feature lisp-mode
+(use-package lisp-mode
:config
(defun indent-spaces-mode ()
(setq indent-tabs-mode nil))
(add-hook 'lisp-interaction-mode-hook #'indent-spaces-mode))
-(use-feature reveal
+(use-package reveal
:delight (reveal-mode " reveal")
:hook (emacs-lisp-mode . reveal-mode))
-(use-feature elisp-mode
+(use-package elisp-mode
:delight (emacs-lisp-mode "Elisp" :major))
-(use-package alloy-mode
- :straight (:host github :repo "dwwmmn/alloy-mode")
- :mode "\\.als\\'"
- :config (setq alloy-basic-offset 2))
-
-(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
- haskell-indentation-left-offset 4
- flycheck-checker 'haskell-hlint
- flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
-
-(use-package dante
- :after haskell-mode
- :commands dante-mode
- :hook (haskell-mode . dante-mode))
-
-(use-package hlint-refactor
- :after haskell-mode
- :bind (:map hlint-refactor-mode-map
- ("C-c l b" . hlint-refactor-refactor-buffer)
- ("C-c l r" . hlint-refactor-refactor-at-point))
- :hook (haskell-mode . hlint-refactor-mode))
-
-(use-package flycheck-haskell
- :after haskell-mode)
-;; alternative: hs-lint https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el
+(comment
+ ;; TODO
+ (use-package alloy-mode
+ :straight (:host github :repo "dwwmmn/alloy-mode")
+ :mode "\\.als\\'"
+ :config (setq alloy-basic-offset 2))
+
+ (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
+ haskell-indentation-left-offset 4
+ flycheck-checker 'haskell-hlint
+ flycheck-disabled-checkers '(haskell-stack-ghc haskell-ghc)))
+
+ (use-package dante
+ :after haskell-mode
+ :commands dante-mode
+ :hook (haskell-mode . dante-mode))
+
+ (use-package hlint-refactor
+ :after haskell-mode
+ :bind (:map hlint-refactor-mode-map
+ ("C-c l b" . hlint-refactor-refactor-buffer)
+ ("C-c l r" . hlint-refactor-refactor-at-point))
+ :hook (haskell-mode . hlint-refactor-mode))
+
+ (use-package flycheck-haskell
+ :after haskell-mode)
+ ;; alternative: hs-lint https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el
+ )
(use-package sgml-mode
:config
(use-package web-mode
:mode "\\.html\\'"
:config
- (a/setq-every 2
+ (b/setq-every 2
web-mode-code-indent-offset
web-mode-css-indent-offset
web-mode-markup-indent-offset))
(eclim-executable "~/.p2/pool/plugins/org.eclim_2.8.0/bin/eclim")
(eclim-eclipse-dirs '("~/usr/eclipse/dsl-2018-09/eclipse"))))
-(use-package geiser)
+(use-package geiser
+ :config
+ (make-directory (b/var "geiser/") t)
+ (setq geiser-repl-history-filename (b/var "geiser/repl-history")))
-(use-feature geiser-guile
+(use-package geiser-guile
:config
(setq geiser-guile-load-path "~/src/git/guix"))
(use-package go-mode)
+(use-package po-mode
+ :hook
+ (po-mode . (lambda () (run-with-timer 0.1 nil 'View-exit))))
+
+(use-package tex-mode
+ :config
+ (cl-delete-if
+ (lambda (p) (string-match "^---?" (car p)))
+ tex--prettify-symbols-alist))
+
\f
;;; Theme
-(add-to-list 'custom-theme-load-path "~/.emacs.d/lisp")
+(add-to-list 'custom-theme-load-path
+ (expand-file-name
+ (convert-standard-filename "lisp") user-emacs-directory))
(load-theme 'tangomod t)
(use-package smart-mode-line
:commands (sml/apply-theme)
:demand
:config
- (sml/setup))
+ (sml/setup)
+ (smart-mode-line-enable))
-(use-package doom-themes)
+(comment
+ ;; TODO
+ (use-package doom-themes))
-(defvar a/org-mode-font-lock-keywords
+(defvar b/org-mode-font-lock-keywords
'(("[ \t]*\\(#\\+\\(BEGIN\\|END\\|begin\\|end\\)_\\(\\S-+\\)\\)[ \t]*\\([^\n:]*\\)"
(1 '(:foreground "#5a5b5a" :background "#292b2b") t) ; directive
(3 '(:foreground "#81a2be" :background "#292b2b") t) ; kind
(4 '(:foreground "#c5c8c6") t)))) ; title
-(defun a/lights-on ()
+(defun b/lights-on ()
"Enable my favourite light theme."
(interactive)
(mapc #'disable-theme custom-enabled-themes)
(load-theme 'tangomod t)
(sml/apply-theme 'automatic)
(font-lock-remove-keywords
- 'org-mode a/org-mode-font-lock-keywords))
+ 'org-mode b/org-mode-font-lock-keywords))
-(defun a/lights-off ()
+(defun b/lights-off ()
"Go dark."
(interactive)
(mapc #'disable-theme custom-enabled-themes)
- (load-theme 'doom-tomorrow-night t)
+ ;; (load-theme 'doom-tomorrow-night t)
(sml/apply-theme 'automatic)
(font-lock-add-keywords
- 'org-mode a/org-mode-font-lock-keywords t))
+ 'org-mode b/org-mode-font-lock-keywords t))
(bind-keys
- ("s-t d" . a/lights-off)
- ("s-t l" . a/lights-on))
+ ("s-t d" . b/lights-off)
+ ("s-t l" . b/lights-on))
\f
;;; Emacs enhancements & auxiliary packages
-(use-feature man
+(use-package man
:config (setq Man-width 80))
(use-package which-key
"C-c P 4" "projectile/other-window"
"C-c q" "boxquote"
"s-g" "magit"
- "s-o" "outline"
+ "s-O" "outline"
"s-t" "themes")
;; prefixes for major modes
("<end>" . mwim-end-of-line-or-code)))
(use-package projectile
+ :defer 0.5
:bind-keymap ("C-c P" . projectile-command-map)
:config
+ (make-directory (b/var "projectile/") t)
(projectile-mode)
+ (defun b/projectile-mode-line-fun ()
+ "Report project name and type in the modeline."
+ (let ((project-name (projectile-project-name))
+ (project-type (projectile-project-type)))
+ (format "%s%s"
+ projectile-mode-line-prefix
+ (if project-type
+ (format ":%s" project-type)
+ ""))))
+ (setq projectile-mode-line-function 'b/projectile-mode-line-fun)
+
(defun my-projectile-invalidate-cache (&rest _args)
;; ignore the args to `magit-checkout'
(projectile-invalidate-cache nil))
(advice-add 'magit-branch-and-checkout
:after #'my-projectile-invalidate-cache)))
:custom
+ (projectile-cache-file (b/var "projectile/cache.el"))
(projectile-completion-system 'ivy)
+ (projectile-known-projects-file (b/var "projectile/known-projects.el"))
(projectile-mode-line-prefix " proj"))
(use-package helpful
(use-package boxquote
:defer 0.6
:bind
- (:prefix-map a/boxquote-prefix-map
- :prefix "C-c q"
- ("b" . boxquote-buffer)
- ("B" . boxquote-insert-buffer)
- ("d" . boxquote-defun)
- ("F" . boxquote-insert-file)
- ("hf" . boxquote-describe-function)
- ("hk" . boxquote-describe-key)
- ("hv" . boxquote-describe-variable)
- ("hw" . boxquote-where-is)
- ("k" . boxquote-kill)
- ("p" . boxquote-paragraph)
- ("q" . boxquote-boxquote)
- ("r" . boxquote-region)
- ("s" . boxquote-shell-command)
- ("t" . boxquote-text)
- ("T" . boxquote-title)
- ("u" . boxquote-unbox)
- ("U" . boxquote-unbox-region)
- ("y" . boxquote-yank)
- ("M-q" . boxquote-fill-paragraph)
- ("M-w" . boxquote-kill-ring-save)))
+ (:prefix-map b/boxquote-prefix-map
+ :prefix "C-c q"
+ ("b" . boxquote-buffer)
+ ("B" . boxquote-insert-buffer)
+ ("d" . boxquote-defun)
+ ("F" . boxquote-insert-file)
+ ("hf" . boxquote-describe-function)
+ ("hk" . boxquote-describe-key)
+ ("hv" . boxquote-describe-variable)
+ ("hw" . boxquote-where-is)
+ ("k" . boxquote-kill)
+ ("p" . boxquote-paragraph)
+ ("q" . boxquote-boxquote)
+ ("r" . boxquote-region)
+ ("s" . boxquote-shell-command)
+ ("t" . boxquote-text)
+ ("T" . boxquote-title)
+ ("u" . boxquote-unbox)
+ ("U" . boxquote-unbox-region)
+ ("y" . boxquote-yank)
+ ("M-q" . boxquote-fill-paragraph)
+ ("M-w" . boxquote-kill-ring-save)))
(use-package orgalist
;; http://lists.gnu.org/archive/html/emacs-orgmode/2019-04/msg00007.html
(use-package multiple-cursors
:bind
(("C-S-<mouse-1>" . mc/add-cursor-on-click)
- (:prefix-map a/mc-prefix-map
+ (:prefix-map b/mc-prefix-map
:prefix "C-c m"
("c" . mc/edit-lines)
("n" . mc/mark-next-like-this)
("p" . mc/mark-previous-like-this)
- ("a" . mc/mark-all-like-this))))
+ ("a" . mc/mark-all-like-this)))
+ :config
+ (setq mc/list-file (b/var "mc-list.el")))
-(use-package forge
- :after magit
- :demand)
+(comment
+ ;; TODO
+ (use-package forge
+ :after magit
+ :demand))
(use-package yasnippet
:defer 0.6
:config
(defconst yas-verbosity-cur yas-verbosity)
(setq yas-verbosity 2)
+ (setq yas-snippet-dirs (list (b/etc "yasnippet/snippets/")))
(add-to-list 'yas-snippet-dirs "~/src/git/guix/etc/snippets" t)
(yas-reload-all)
(setq yas-verbosity yas-verbosity-cur)
(yas-global-mode))
-(use-package debbugs
- :straight (debbugs
- :host github
- :repo "emacs-straight/debbugs"
- :files (:defaults "Debbugs.wsdl")))
+(use-package debbugs)
(use-package org-ref
:init
- (a/setq-every '("~/usr/org/references.bib")
+ (b/setq-every '("~/usr/org/references.bib")
reftex-default-bibliography
org-ref-default-bibliography)
(setq
;; (use-package fill-column-indicator)
(use-package emojify
+ :config
+ (make-directory (b/var "emojify/") t)
+ (setq emojify-emojis-dir (b/var "emojify/"))
:hook (erc-mode . emojify-mode))
+(use-package window
+ :bind
+ (("s-o" . other-window)
+ ("s-/ ." . split-window-right)
+ ("s-/ ," . split-window-below)
+ ("s-/ 0" . delete-window)
+ ("s-q" . delete-window))
+ :custom
+ (split-width-threshold 150))
+
+(use-package windmove
+ :defer 0.6
+ :bind
+ (("s-h" . windmove-left)
+ ("s-j" . windmove-down)
+ ("s-k" . windmove-up)
+ ("s-l" . windmove-right)
+ ("s-H" . windmove-swap-states-left)
+ ("s-J" . windmove-swap-states-down)
+ ("s-K" . windmove-swap-states-up)
+ ("s-L" . windmove-swap-states-right)))
+
+(use-package pass
+ :commands pass
+ :bind ("C-c a p" . pass)
+ :hook (pass-mode . View-exit))
+
+(use-package pdf-tools
+ :defer 0.5
+ :bind (:map pdf-view-mode-map
+ ("M-RET" . image-previous-line))
+ :config (pdf-tools-install nil t))
+
+(use-package biblio)
+
\f
;;; Email (with Gnus)
-(defvar a/maildir (expand-file-name "~/mail/"))
+(defvar b/maildir (expand-file-name "~/mail/"))
(with-eval-after-load 'recentf
- (add-to-list 'recentf-exclude a/maildir))
+ (add-to-list 'recentf-exclude b/maildir))
(setq
- a/gnus-init-file (no-littering-expand-etc-file-name "gnus")
+ b/gnus-init-file (b/etc "gnus")
mail-user-agent 'gnus-user-agent
read-mail-command 'gnus)
-(use-feature gnus
+(use-package gnus
:bind (("s-m" . gnus)
("s-M" . gnus-unplugged))
:init
(setq
gnus-select-method '(nnnil "")
gnus-secondary-select-methods
- '((nnimap "amin"
+ '((nnimap "shemshak"
(nnimap-stream plain)
(nnimap-address "127.0.0.1")
(nnimap-server-port 143)
(nnimap-authenticator plain)
- (nnimap-user "amin@bndl.local"))
+ (nnimap-user "amin@shemshak.local"))
(nnimap "gnu"
(nnimap-stream plain)
(nnimap-address "127.0.0.1")
(nnimap-inbox "INBOX")
(nnimap-split-methods 'nnimap-split-fancy)
(nnimap-split-fancy (|
- (: gnus-registry-split-fancy-with-parent)
+ ;; (: gnus-registry-split-fancy-with-parent)
;; (: gnus-group-split-fancy "INBOX" t "INBOX")
;; gnu
- (list ".*emacs-devel.gnu.org" "l.gnu.emacs.devel")
- (list ".*help-gnu-emacs.gnu.org" "l.gnu.emacs.help")
- (list ".*info-gnu-emacs.gnu.org" "l.gnu.emacs.info")
- (list ".*emacs-orgmode.gnu.org" "l.gnu.emacs.orgmode")
- (list ".*emacs-tangents.gnu.org" "l.gnu.emacs.tangents")
- (list ".*emacsconf-discuss.gnu.org" "l.gnu.emacsconf.discuss")
- (list ".*fencepost-users.gnu.org" "l.gnu.fencepost.users")
- (list ".*gnunet-developers.gnu.org" "l.gnu.gnunet.developers")
- (list ".*help-gnunet.gnu.org" "l.gnu.gnunet.help")
- (list ".*bug-gnuzilla.gnu.org" "l.gnu.gnuzilla.bug")
- (list ".*gnuzilla-dev.gnu.org" "l.gnu.gnuzilla.dev")
- (list ".*guile-devel.gnu.org" "l.gnu.guile.devel")
- (list ".*guix-devel.gnu.org" "l.gnu.guix.devel")
- (list ".*info-guix.gnu.org" "l.gnu.guix.info")
- (list ".*savannah-hackers-public.gnu.org" "l.gnu.savannah.hackers.public")
- (list ".*savannah-users.gnu.org" "l.gnu.savannah.users")
- (list ".*www-commits.gnu.org" "l.gnu.www.commits")
- (list ".*www-discuss.gnu.org" "l.gnu.www.discuss")
+ (list ".*<\\(.*\\)\\.\\(non\\)?gnu\\.org>.*" "l.\\1")
+ ;; *@lists.sr.ht, omitting one dot if present
+ ;; add more \\.?\\([^.@]*\\) if needed
+ (list ".*<~\\(.*\\)/\\([^.@]*\\)\\.?\\([^.@]*\\)@lists.sr.ht>.*" "l.~\\1.\\2\\3")
;; webmasters
(from "webmasters\\(-comment\\)?@gnu\\.org" "webmasters")
- ;; haskell
- (list ".*haskell-art.we.lurk.org" "l.haskell.art")
- (list ".*haskell-cafe.haskell.org" "l.haskell.cafe")
;; other
+ (list ".*atreus.freelists.org" "l.atreus")
(list ".*deepspec.lists.cs.princeton.edu" "l.deepspec")
- (list ".*notmuch.notmuchmail.org" "l.notmuch")
- (list ".*dev.lists.parabola.nu" "l.parabola.dev")
- ;; *@lists.sr.ht
- (list ".*~bandali/public-inbox@lists.sr.ht" "l.~bandali.public-inbox")
- (list ".*~sircmpwn/sr.ht-admins@lists.sr.ht" "l.~sircmpwn.srht.admins")
- (list ".*~sircmpwn/sr.ht-announce@lists.sr.ht" "l.~sircmpwn.srht.announce")
- (list ".*~sircmpwn/sr.ht-dev@lists.sr.ht" "l.~sircmpwn.srht.dev")
- (list ".*~sircmpwn/sr.ht-discuss@lists.sr.ht" "l.~sircmpwn.srht.discuss")
+ ;; (list ".*haskell-art.we.lurk.org" "l.haskell.art") ;d
+ (list ".*haskell-cafe.haskell.org" "l.haskell.cafe")
+ ;; (list ".*notmuch.notmuchmail.org" "l.notmuch") ;u
+ ;; (list ".*dev.lists.parabola.nu" "l.parabola-dev") ;u
+ ;; ----------------------------------
+ ;; legend: (u)nsubscribed | (d)ead
+ ;; ----------------------------------
+ ;; otherwise, leave mail in INBOX
"INBOX")))
(nnimap "uw"
(nnimap-stream plain)
(nnimap-inbox "INBOX")
(nnimap-split-methods 'nnimap-split-fancy)
(nnimap-split-fancy (|
- (: gnus-registry-split-fancy-with-parent)
- ;; se463-s19
- ("subject" "SE\\s-?463" "course.se463-s19")
- (from "\\(SE\\s-?463\\|Gema\\)" "course.se463-s19")
+ ;; (: gnus-registry-split-fancy-with-parent)
+ ;; se212-f19
+ ("subject" "SE\\s-?212" "course.se463-s19")
+ (from "SE\\s-?212" "course.se463-s19")
;; catch-all
"INBOX")))
(nnimap "csc"
(nnimap-server-port 143)
(nnimap-authenticator plain)
(nnimap-user "abandali@csc.uw.local")))
- gnus-message-archive-group "nnimap+amin:Sent"
+ gnus-message-archive-group "nnimap+shemshak:Sent"
gnus-parameters
- '(("l\\.deepspec"
+ '(("l\\.atreus"
+ (to-address . "atreus@freelists.org")
+ (to-list . "atreus@freelists.org"))
+ ("l\\.deepspec"
(to-address . "deepspec@lists.cs.princeton.edu")
(to-list . "deepspec@lists.cs.princeton.edu")
(list-identifier . "\\[deepspec\\]"))
- ("l\\.gnu\\.emacs\\.devel"
+ ("l\\.emacs-devel"
(to-address . "emacs-devel@gnu.org")
(to-list . "emacs-devel@gnu.org"))
- ("l\\.gnu\\.emacs\\.help"
+ ("l\\.help-gnu-emacs"
(to-address . "help-gnu-emacs@gnu.org")
(to-list . "help-gnu-emacs@gnu.org"))
- ("l\\.gnu\\.emacs\\.info"
+ ("l\\.info-gnu-emacs"
(to-address . "info-gnu-emacs@gnu.org")
(to-list . "info-gnu-emacs@gnu.org"))
- ("l\\.gnu\\.emacs\\.orgmode"
+ ("l\\.emacs-orgmode"
(to-address . "emacs-orgmode@gnu.org")
(to-list . "emacs-orgmode@gnu.org")
(list-identifier . "\\[O\\]"))
- ("l\\.gnu\\.emacs\\.tangents"
+ ("l\\.emacs-tangents"
(to-address . "emacs-tangents@gnu.org")
(to-list . "emacs-tangents@gnu.org"))
- ("l\\.gnu\\.emacsconf\\.discuss"
+ ("l\\.emacsconf-discuss"
(to-address . "emacsconf-discuss@gnu.org")
(to-list . "emacsconf-discuss@gnu.org"))
- ("l\\.gnu\\.fencepost\\.users"
+ ("l\\.emacsconf-register"
+ (to-address . "emacsconf-register@gnu.org")
+ (to-list . "emacsconf-register@gnu.org"))
+ ("l\\.emacsconf-submit"
+ (to-address . "emacsconf-submit@gnu.org")
+ (to-list . "emacsconf-submit@gnu.org"))
+ ("l\\.fencepost-users"
(to-address . "fencepost-users@gnu.org")
(to-list . "fencepost-users@gnu.org")
(list-identifier . "\\[Fencepost-users\\]"))
- ("l\\.gnu\\.gnunet\\.developers"
+ ("l\\.gnewsense-art"
+ (to-address . "gnewsense-art@nongnu.org")
+ (to-list . "gnewsense-art@nongnu.org")
+ (list-identifier . "\\[gNewSense-art\\]"))
+ ("l\\.gnewsense-dev"
+ (to-address . "gnewsense-dev@nongnu.org")
+ (to-list . "gnewsense-dev@nongnu.org")
+ (list-identifier . "\\[Gnewsense-dev\\]"))
+ ("l\\.gnewsense-users"
+ (to-address . "gnewsense-users@nongnu.org")
+ (to-list . "gnewsense-users@nongnu.org")
+ (list-identifier . "\\[gNewSense-users\\]"))
+ ("l\\.gnunet-developers"
(to-address . "gnunet-developers@gnu.org")
(to-list . "gnunet-developers@gnu.org")
(list-identifier . "\\[GNUnet-developers\\]"))
- ("l\\.gnu\\.gnunet\\.help"
+ ("l\\.help-gnunet"
(to-address . "help-gnunet@gnu.org")
(to-list . "help-gnunet@gnu.org")
(list-identifier . "\\[Help-gnunet\\]"))
- ("l\\.gnu\\.gnuzilla\\.bug"
+ ("l\\.bug-gnuzilla"
(to-address . "bug-gnuzilla@gnu.org")
(to-list . "bug-gnuzilla@gnu.org")
(list-identifier . "\\[Bug-gnuzilla\\]"))
- ("l\\.gnu\\.gnuzilla\\.dev"
+ ("l\\.gnuzilla-dev"
(to-address . "gnuzilla-dev@gnu.org")
(to-list . "gnuzilla-dev@gnu.org")
(list-identifier . "\\[Gnuzilla-dev\\]"))
- ("l\\.gnu\\.guile\\.devel"
+ ("l\\.guile-devel"
(to-address . "guile-devel@gnu.org")
(to-list . "guile-devel@gnu.org"))
- ("l\\.gnu\\.guix\\.devel"
+ ("l\\.guile-user"
+ (to-address . "guile-user@gnu.org")
+ (to-list . "guile-user@gnu.org"))
+ ("l\\.guix-devel"
(to-address . "guix-devel@gnu.org")
(to-list . "guix-devel@gnu.org"))
- ("l\\.gnu\\.guix\\.info"
+ ("l\\.help-guix"
+ (to-address . "help-guix@gnu.org")
+ (to-list . "help-guix@gnu.org"))
+ ("l\\.info-guix"
(to-address . "info-guix@gnu.org")
(to-list . "info-guix@gnu.org"))
- ("l\\.gnu\\.savannah\\.hackers\\.public"
+ ("l\\.savannah-hackers-public"
(to-address . "savannah-hackers-public@gnu.org")
(to-list . "savannah-hackers-public@gnu.org"))
- ("l\\.gnu\\.savannah\\.users"
+ ("l\\.savannah-users"
(to-address . "savannah-users@gnu.org")
(to-list . "savannah-users@gnu.org"))
- ("l\\.gnu\\.www\\.commits"
+ ("l\\.www-commits"
(to-address . "www-commits@gnu.org")
(to-list . "www-commits@gnu.org"))
- ("l\\.gnu\\.www\\.discuss"
+ ("l\\.www-discuss"
(to-address . "www-discuss@gnu.org")
(to-list . "www-discuss@gnu.org"))
- ("l\\.haskell\\.art"
+ ("l\\.haskell-art"
(to-address . "haskell-art@we.lurk.org")
(to-list . "haskell-art@we.lurk.org")
(list-identifier . "\\[haskell-art\\]"))
- ("l\\.haskell\\.cafe"
+ ("l\\.haskell-cafe"
(to-address . "haskell-cafe@haskell.org")
(to-list . "haskell-cafe@haskell.org")
(list-identifier . "\\[Haskell-cafe\\]"))
("l\\.notmuch"
(to-address . "notmuch@notmuchmail.org")
(to-list . "notmuch@notmuchmail.org"))
- ("l\\.parabola\\.dev"
+ ("l\\.parabola-dev"
(to-address . "dev@lists.parabola.nu")
(to-list . "dev@lists.parabola.nu")
(list-identifier . "\\[Dev\\]"))
("l\\.~bandali\\.public-inbox"
(to-address . "~bandali/public-inbox@lists.sr.ht")
(to-list . "~bandali/public-inbox@lists.sr.ht"))
- ("l\\.~sircmpwn\\.srht\\.admins"
+ ("l\\.~sircmpwn\\.free-writers-club"
+ (to-address . "~sircmpwn/free-writers-club@lists.sr.ht")
+ (to-list . "~sircmpwn/free-writers-club@lists.sr.ht"))
+ ("l\\.~sircmpwn\\.srht-admins"
(to-address . "~sircmpwn/sr.ht-admins@lists.sr.ht")
(to-list . "~sircmpwn/sr.ht-admins@lists.sr.ht"))
- ("l\\.~sircmpwn\\.srht\\.announce"
+ ("l\\.~sircmpwn\\.srht-announce"
(to-address . "~sircmpwn/sr.ht-announce@lists.sr.ht")
(to-list . "~sircmpwn/sr.ht-announce@lists.sr.ht"))
- ("l\\.~sircmpwn\\.srht\\.dev"
+ ("l\\.~sircmpwn\\.srht-dev"
(to-address . "~sircmpwn/sr.ht-dev@lists.sr.ht")
(to-list . "~sircmpwn/sr.ht-dev@lists.sr.ht"))
- ("l\\.~sircmpwn\\.srht\\.discuss"
+ ("l\\.~sircmpwn\\.srht-discuss"
(to-address . "~sircmpwn/sr.ht-discuss@lists.sr.ht")
(to-list . "~sircmpwn/sr.ht-discuss@lists.sr.ht"))
("webmasters"
("nnimap\\+uw:.*"
(gcc-self . t)))
gnus-large-newsgroup 50
- gnus-home-directory (no-littering-expand-var-file-name "gnus/")
+ gnus-home-directory (b/var "gnus/")
gnus-directory (concat gnus-home-directory "news/")
message-directory (concat gnus-home-directory "mail/")
nndraft-directory (concat gnus-home-directory "drafts/")
(require 'ebdb-mua)
(require 'ebdb-gnus)
- (gnus-registry-initialize)
+ (when (version< emacs-version "27")
+ (add-to-list
+ 'nnmail-split-abbrev-alist
+ '(list . "list-id\\|list-post\\|x-mailing-list\\|x-beenthere\\|x-loop")
+ t))
+
+ ;; (gnus-registry-initialize)
(with-eval-after-load 'recentf
(add-to-list 'recentf-exclude gnus-home-directory)))
-(use-feature gnus-art
+(use-package gnus-art
:config
(setq
+ gnus-buttonized-mime-types '("multipart/\\(signed\\|encrypted\\)")
gnus-visible-headers
(concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
gnus-sorted-header-list
:map gnus-article-mode-map
("M-L" . org-store-link)))
-(use-feature gnus-sum
+(use-package gnus-sum
:bind (:map gnus-summary-mode-map
- :prefix-map a/gnus-summary-prefix-map
+ :prefix-map b/gnus-summary-prefix-map
:prefix "v"
("r" . gnus-summary-reply)
("w" . gnus-summary-wide-reply)
(bind-keys
:map gnus-summary-mode-map
("M-L" . org-store-link))
- :hook (gnus-summary-mode . a/no-mouse-autoselect-window))
+ :hook (gnus-summary-mode . b/no-mouse-autoselect-window))
-(use-feature gnus-msg
+(use-package gnus-msg
:config
- (defvar a/gnu-signature "Amin Bandali | GNU Webmaster
-https://bandali.eu.org | https://gnu.org
-GPG Key: BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103")
- (defvar a/uw-signature "Amin Bandali, MMath Student
+ (defvar b/signature "Amin Bandali
+Free Software Activist | GNU Webmaster & Volunteer
+GPG: BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103
+https://shemshak.org/~amin")
+ (defvar b/gnu-signature "Amin Bandali
+Free Software Activist | GNU Webmaster & Volunteer
+GPG: BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103
+https://bandali.eu.org")
+ (defvar b/uw-signature "Amin Bandali, MMath Student
Cheriton School of Computer Science
University of Waterloo
https://bandali.eu.org")
- (defvar a/csc-signature "Amin Bandali | Termcom, CSC
-https://csclub.uwaterloo.ca/~abandali/")
+ (defvar b/csc-signature "Amin Bandali
+Systems Committee
+Computer Science Club, University of Waterloo
+https://csclub.uwaterloo.ca/~abandali")
(setq gnus-posting-styles
'((".*"
- (address "amin@bndl.org")
+ (address "amin@shemshak.org")
(body "\nBest,\n")
- (eval (setq a/message-cite-say-hi t)))
+ (signature b/signature)
+ (eval (setq b/message-cite-say-hi t)))
("nnimap\\+gnu:.*"
(address "bandali@gnu.org")
- (signature a/gnu-signature)
+ (signature b/gnu-signature)
(eval (set (make-local-variable 'message-user-fqdn) "fencepost.gnu.org")))
((header "subject" "ThankCRM")
(to "webmasters-comment@gnu.org")
- (body "Added to 2019supporters.html.\n\nMoving to campaigns.\n")
- (eval (setq a/message-cite-say-hi nil)))
+ (body "")
+ (eval (setq b/message-cite-say-hi nil)))
("nnimap\\+uw:.*"
(address "abandali@uwaterloo.ca")
- (signature a/uw-signature))
+ (signature b/uw-signature))
("nnimap\\+uw:INBOX"
(gcc "\"nnimap+uw:Sent Items\""))
("nnimap\\+csc:.*"
(address "abandali@csclub.uwaterloo.ca")
- (signature a/csc-signature)
+ (signature b/csc-signature)
(gcc "nnimap+csc:Sent")))))
-(use-feature gnus-topic
+(use-package gnus-topic
:hook (gnus-group-mode . gnus-topic-mode)
:config (setq gnus-topic-line-format "%i[ %A: %(%{%n%}%) ]%v\n"))
-(use-feature gnus-agent
+(use-package gnus-agent
:config
(setq gnus-agent-synchronize-flags 'ask)
:hook (gnus-group-mode . gnus-agent-mode))
-(use-feature gnus-group
+(use-package gnus-group
:config
(setq gnus-permanently-visible-groups "\\(:INBOX$\\|:gnu$\\)"))
(comment
;; problematic with ebdb's popup, *EBDB-Gnus*
- (use-feature gnus-win
+ (use-package gnus-win
:config
(setq gnus-use-full-window nil)))
-(use-feature gnus-dired
+(use-package gnus-dired
:commands gnus-dired-mode
:init
(add-hook 'dired-mode-hook 'gnus-dired-mode))
-(use-feature mm-decode
+(use-package mm-decode
:config
- (setq mm-discouraged-alternatives '("text/html" "text/richtext")))
+ (setq mm-discouraged-alternatives '("text/html" "text/richtext")
+ mm-decrypt-option 'known
+ mm-verify-option 'known))
-(use-feature sendmail
+(use-package sendmail
:config
- (setq sendmail-program "/usr/bin/msmtp"
+ (setq sendmail-program (executable-find "msmtp")
;; message-sendmail-extra-arguments '("-v" "-d")
mail-specify-envelope-from t
mail-envelope-from 'header))
-(use-feature message
+(use-package message
:config
;; redefine for a simplified In-Reply-To header
;; (see https://todo.sr.ht/~sircmpwn/lists.sr.ht/67)
(when from
msg-id))))
- (defconst a/message-cite-style-format "On %Y-%m-%d %l:%M %p, %N wrote:")
+ (defconst b/message-cite-style-format "On %Y-%m-%d %l:%M %p, %N wrote:")
(defconst message-cite-style-bandali
'((message-cite-function 'message-cite-original)
(message-citation-line-function 'message-insert-formatted-citation-line)
(message-yank-cited-prefix ">")
(message-yank-empty-prefix ">")
(message-citation-line-format
- (if a/message-cite-say-hi
- (concat "Hi %F,\n\n" a/message-cite-style-format)
- a/message-cite-style-format)))
+ (if b/message-cite-say-hi
+ (concat "Hi %F,\n\n" b/message-cite-style-format)
+ b/message-cite-style-format)))
"Citation style based on Mozilla Thunderbird's. Use with message-cite-style.")
(setq ;; message-cite-style 'message-cite-style-bandali
message-kill-buffer-on-exit t
message-subscribed-address-functions
'(gnus-find-subscribed-addresses)
message-dont-reply-to-names
- "\\(\\(amin@bndl\\.org\\)\\|\\(.*@\\(aminb\\|amin\\.bndl\\)\\.org\\)\\|\\(\\(bandali\\|aminb?\\|mab\\)@gnu\\.org\\)\\|\\(a\\(min\\.\\)?bandali@uwaterloo\\.ca\\)\\|\\(abandali@csclub\\.uwaterloo\\.ca\\)\\)")
+ "\\(\\(\\(amin\\|mab\\)@shemshak\\.org\\)\\|\\(amin@bndl\\.org\\)\\|\\(.*@aminb\\.org\\)\\|\\(\\(bandali\\|mab\\|aminb?\\)@gnu\\.org\\)\\|\\(a\\(min\\.\\)?bandali@uwaterloo\\.ca\\)\\|\\(abandali@csclub\\.uwaterloo\\.ca\\)\\)")
(require 'company-ebdb)
:hook (;; (message-setup . mml-secure-message-sign-pgpmime)
(message-mode . flyspell-mode)
;; (message-header-cc ((t (:foreground "#333" :weight normal))))
)
-(use-feature mml
+(use-package mml
:delight " mml")
-(use-feature mml-sec
+(use-package mml-sec
:custom
(mml-secure-openpgp-encrypt-to-self t)
(mml-secure-openpgp-sign-with-sender t))
-(use-feature footnote
+(use-package footnote
:after message
;; :config
;; (setq footnote-start-tag ""
;; footnote-style 'unicode)
:bind
(:map message-mode-map
- :prefix-map a/footnote-prefix-map
+ :prefix-map b/footnote-prefix-map
:prefix "C-c f"
("a" . footnote-add-footnote)
("b" . footnote-back-to-message)
("s" . footnote-set-style)))
(use-package ebdb
- :straight (:host github :repo "girzel/ebdb")
:after gnus
:bind (:map gnus-group-mode-map ("e" . ebdb))
:config
- (setq ebdb-sources (no-littering-expand-var-file-name "ebdb"))
+ (setq ebdb-sources (b/var "ebdb"))
(with-eval-after-load 'swiper
(add-to-list 'swiper-font-lock-exclude 'ebdb-mode t)))
-(use-feature ebdb-com
+(use-package ebdb-com
:after ebdb)
;; (use-package ebdb-complete
:config
(defun company-ebdb--post-complete (_) nil))
-(use-feature ebdb-gnus
+(use-package ebdb-gnus
:after ebdb
:custom
(ebdb-gnus-window-configuration
(article 1.0)
(ebdb-gnus 0.3))))))
-(use-feature ebdb-mua
+(use-package ebdb-mua
:after ebdb
;; :custom (ebdb-mua-pop-up nil)
)
;; (use-package ebdb-message
;; :after ebdb)
-
;; (use-package ebdb-vcard
;; :after ebdb)
(gnus-harvest-install))))
\f
-;;; IRC
+;;; IRC (with ERC and ZNC)
-(use-feature erc
+(use-package erc
:bind (("C-c a e b" . erc-switch-to-buffer)
:map erc-mode-map
("M-a" . erc-track-switch-buffer))
:custom
- (erc-fill-function 'erc-fill-static)
- (erc-fill-static-center 18)
(erc-join-buffer 'bury)
(erc-lurker-hide-list '("JOIN" "PART" "QUIT"))
(erc-nick "bandali")
- (erc-pcomplete-nick-postfix ",")
+ (erc-prompt "erc>")
(erc-rename-buffers t)
(erc-server-reconnect-attempts 5)
(erc-server-reconnect-timeout 3)
- (erc-track-exclude-types '("JOIN" "MODE" "NICK" "PART" "QUIT"
- "324" "329" "332" "333" "353" "477"))
- (erc-track-priority-faces-only 'all)
:config
(with-eval-after-load 'ivy
;; ignore channel buffer names
(add-to-list 'erc-modules 'notifications)
(add-to-list 'erc-modules 'spelling)
(add-to-list 'erc-modules 'scrolltoplace)
- (erc-update-modules))
+ (erc-update-modules)
+
+ (when (and (version<= "24.4" emacs-version)
+ (version< emacs-version "27"))
+ ;; fix erc-lurker bug
+ ;; patch submitted: https://bugs.gnu.org/36843#10
+ ;; TODO: remove when patch is merged and emacs 27 is released
+ (defvar erc-message-parsed)
+ (defun erc-display-message (parsed type buffer msg &rest args)
+ "Display MSG in BUFFER.
+
+ARGS, PARSED, and TYPE are used to format MSG sensibly.
+
+See also `erc-format-message' and `erc-display-line'."
+ (let ((string (if (symbolp msg)
+ (apply #'erc-format-message msg args)
+ msg))
+ (erc-message-parsed parsed))
+ (setq string
+ (cond
+ ((null type)
+ string)
+ ((listp type)
+ (mapc (lambda (type)
+ (setq string
+ (erc-display-message-highlight type string)))
+ type)
+ string)
+ ((symbolp type)
+ (erc-display-message-highlight type string))))
+
+ (if (not (erc-response-p parsed))
+ (erc-display-line string buffer)
+ (unless (erc-hide-current-message-p parsed)
+ (erc-put-text-property 0 (length string) 'erc-parsed parsed string)
+ (erc-put-text-property 0 (length string) 'rear-sticky t string)
+ (when (erc-response.tags parsed)
+ (erc-put-text-property 0 (length string) 'tags (erc-response.tags parsed)
+ string))
+ (erc-display-line string buffer)))))
+
+ (defun erc-lurker-update-status (_message)
+ "Update `erc-lurker-state' if necessary.
+
+This function is called from `erc-insert-pre-hook'. If the
+current message is a PRIVMSG, update `erc-lurker-state' to
+reflect the fact that its sender has issued a PRIVMSG at the
+current time. Otherwise, take no action.
+
+This function depends on the fact that `erc-display-message'
+lexically binds `erc-message-parsed', which is used to check if
+the current message is a PRIVMSG and to determine its sender.
+See also `erc-lurker-trim-nicks' and `erc-lurker-ignore-chars'.
+
+In order to limit memory consumption, this function also calls
+`erc-lurker-cleanup' once every `erc-lurker-cleanup-interval'
+updates of `erc-lurker-state'."
+ (when (and (boundp 'erc-message-parsed)
+ (erc-response-p erc-message-parsed))
+ (let* ((command (erc-response.command erc-message-parsed))
+ (sender
+ (erc-lurker-maybe-trim
+ (car (erc-parse-user (erc-response.sender erc-message-parsed)))))
+ (server
+ (erc-canonicalize-server-name erc-server-announced-name)))
+ (when (equal command "PRIVMSG")
+ (when (>= (cl-incf erc-lurker-cleanup-count)
+ erc-lurker-cleanup-interval)
+ (setq erc-lurker-cleanup-count 0)
+ (erc-lurker-cleanup))
+ (unless (gethash server erc-lurker-state)
+ (puthash server (make-hash-table :test 'equal) erc-lurker-state))
+ (puthash sender (current-time)
+ (gethash server erc-lurker-state))))))))
+
+(use-package erc-fill
+ :after erc
+ :custom
+ (erc-fill-column 77)
+ (erc-fill-function 'erc-fill-static)
+ (erc-fill-static-center 18))
+
+(use-package erc-pcomplete
+ :after erc
+ :custom
+ (erc-pcomplete-nick-postfix ","))
+
+(use-package erc-track
+ :after erc
+ :custom
+ (erc-track-enable-keybindings nil)
+ (erc-track-exclude-types '("JOIN" "MODE" "NICK" "PART" "QUIT"
+ "324" "329" "332" "333" "353" "477"))
+ (erc-track-priority-faces-only 'all)
+ (erc-track-shorten-function nil))
(use-package erc-hl-nicks
:after erc)
:after erc)
(use-package znc
- :straight (:host nil :repo "https://git.bndl.org/amin/znc.el")
+ :load-path "lisp/znc.el/"
:bind (("C-c a e e" . znc-erc)
("C-c a e a" . znc-all))
:config
((null auth) (error "Couldn't find znca's authinfo"))
(t (funcall (plist-get (car auth) :secret)))))))
(setq znc-servers
- `(("znc.bndl.org" 1337 t
+ `(("znc.shemshak.org" 1337 t
((freenode "amin/freenode" ,pwd)))
- ("znc.bndl.org" 1337 t
+ ("znc.shemshak.org" 1337 t
((moznet "amin/moznet" ,pwd)))
- ("znc.bndl.org" 1337 t
+ ("znc.shemshak.org" 1337 t
((oftc "amin/oftc" ,pwd)))))))
\f
(message "Loading %s...done (%.3fs)" user-init-file
(float-time (time-subtract (current-time)
- a/before-user-init-time)))
+ b/before-user-init-time)))
;;; init.el ends here
projects / ~bandali / configs / blobdiff