(mapc #'disable-theme custom-enabled-themes))
#+end_src
-** Server
+** COMMENT Server
Start server if not already running. Alternatively, can be done by
issuing =emacs --daemon= in the terminal, which can be automated with
#+begin_src emacs-lisp
(use-package server
+ :defer 1
:config (or (server-running-p) (server-mode)))
#+end_src
-** Unicode support
+** COMMENT Unicode support
Font stack with better unicode support, around =Ubuntu Mono= and
=Hack=.
#+begin_src emacs-lisp
(use-package org
+ :defer 3
:config
(setq org-src-tab-acts-natively t
org-src-preserve-indentation nil
org-edit-src-content-indentation 0
+ org-email-link-description-format "Email %c: %s" ; %.30s
org-log-done 'time)
+ :bind (:map org-mode-map ("M-L" . org-insert-last-stored-link))
:hook ((org-mode . org-indent-mode)
(org-mode . auto-fill-mode)
(org-mode . flyspell-mode))
(org-latex-packages-alist '(("" "listings") ("" "color"))))
(use-package ox-latex
+ :after ox
:config
(setq org-latex-listings 'listings
;; org-latex-prefer-user-labels t
("\\subparagraph{%s}" . "\\subparagraph*{%s}"))
t))
-(use-package ox-beamer)
-
-(use-package org-notmuch
- :after (:any org notmuch))
+(use-package ox-beamer
+ :after ox)
(use-package orgalist
+ :after message
:hook (message-mode . orgalist-mode))
#+end_src
#+begin_src emacs-lisp
(use-package magit
- :defer t
+ :defer 2
:bind
(("s-g" . magit-status)
:prefix-map amin--magit-prefix-map
("s-r" . counsel-recentf)
("C-c x" . counsel-M-x)
("C-c f ." . counsel-find-file)
- ("C-c f r" . counsel-recentf)
:map minibuffer-local-map
("C-r" . counsel-minibuffer-history))
:config
#+begin_src emacs-lisp
(use-package eshell
+ :defer t
:commands eshell
:config
(eval-when-compile (defvar eshell-prompt-regexp))
#+begin_src emacs-lisp
(use-package ibuffer
+ :defer t
:bind
(("C-x C-b" . ibuffer-other-window)
("C-c b B" . ibuffer-other-window)
#+begin_src emacs-lisp
(use-package outline
+ :defer t
:hook (prog-mode . outline-minor-mode)
:bind
(:map
(add-hook 'prog-mode-hook #'indicate-buffer-boundaries-left))
(use-package recentf
- :demand t
+ :defer 0.5
:config
(add-to-list 'recentf-exclude "^/\\(?:ssh\\|su\\|sudo\\)?:")
(setq recentf-max-saved-items 40))
#+begin_src emacs-lisp
(use-package company
- :defer 5
+ :defer 2
:bind
(:map company-active-map
([tab] . company-complete-common-or-cycle)
* Syntax and spell checking
#+begin_src emacs-lisp
(use-package flycheck
+ :defer 3
:hook (prog-mode . flycheck-mode)
:bind
(:map flycheck-mode-map
;; http://endlessparentheses.com/ispell-and-apostrophes.html
(use-package ispell
+ :defer 3
:config
;; ’ can be part of a word
(setq ispell-local-dictionary-alist
#+begin_src emacs-lisp
(use-package alloy-mode
+ :defer t
:config (setq alloy-basic-offset 2))
#+end_src
#+begin_src emacs-lisp
(use-package proof-site ; Proof General
+ :defer t
:load-path "lib/proof-site/generic/")
#+end_src
#+begin_src emacs-lisp
(eval-when-compile (defvar lean-mode-map))
(use-package lean-mode
- :defer 2
+ :defer 1
:bind (:map lean-mode-map
("S-SPC" . company-complete))
:config
(require 'lean-input)
- (setq default-input-method "Lean"))
+ (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))
#+end_src
** Haskell
#+begin_src emacs-lisp
(use-package haskell-mode
+ :defer t
:config
(setq haskell-indentation-layout-offset 4
haskell-indentation-left-offset 4
#+begin_src emacs-lisp
(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))
*** [[https://github.com/flycheck/flycheck-haskell][flycheck-haskell]]
#+begin_src emacs-lisp
-(use-package flycheck-haskell)
+(use-package flycheck-haskell
+ :after haskell-mode)
#+end_src
*** [[https://github.com/ndmitchell/hlint/blob/20e116a043f2073c57b17b24ae6364b5e433ba7e/data/hs-lint.el][hs-lint.el]]
#+begin_src emacs-lisp
(use-package sgml-mode
+ :defer t
:config
(setq sgml-basic-offset 2))
#+end_src
#+begin_src emacs-lisp
(use-package css-mode
+ :defer t
:config
(setq css-indent-offset 2))
#+end_src
#+begin_src emacs-lisp
(use-package web-mode
+ :defer t
:mode "\\.html\\'"
:config
(setq-every! 2
#+begin_src emacs-lisp
(use-package emmet-mode
+ :after (:any web-mode css-mode sgml-mode)
:bind* (("C-)" . emmet-next-edit-point)
("C-(" . emmet-prev-edit-point))
:config
#+begin_src emacs-lisp
(use-package nix-mode
+ :defer t
:mode "\\.nix\\'")
#+end_src
*** meghanada
-#+begin_src emacs-lisp :tangle yes
+#+begin_src emacs-lisp :tangle no
(use-package meghanada
:bind
(:map meghanada-mode-map
*** lsp-java
+#+begin_comment
+dependencies:
+
+ace-window
+avy
+bui
+company-lsp
+dap-mode
+lsp-java
+lsp-mode
+lsp-ui
+pfuture
+tree-mode
+treemacs
+#+end_comment
+
#+begin_src emacs-lisp :tangle no
-(use-package treemacs)
+(use-package treemacs
+ :config (setq treemacs-never-persist t))
(use-package yasnippet
:config
:config (which-key-mode))
#+end_src
-** [[https://github.com/seagle0128/doom-modeline][doom-modeline]]
+** [[https://github.com/Malabarba/smart-mode-line][smart-mode-line]]
#+begin_src emacs-lisp
-(use-package doom-modeline
- :demand t
- :config (setq doom-modeline-height 32)
- :hook (after-init . doom-modeline-init))
-#+end_src
-
-** [[https://github.com/maio/eink-emacs][eink-theme]]
-
-#+begin_src emacs-lisp
-(setq doom-modeline-bar-width 5)
-(load-theme 'eink t)
+(use-package smart-mode-line
+ :config
+ (sml/setup)
+ ;; (sml/apply-theme 'light)
+ (remove-hook 'display-time-hook 'sml/propertize-time-string))
#+end_src
** [[https://github.com/bbatsov/crux][crux]]
#+begin_src emacs-lisp
(use-package crux
+ :defer 1
:bind (("C-c d" . crux-duplicate-current-line-or-region)
("C-c M-d" . crux-duplicate-and-comment-current-line-or-region)
("C-c b K" . crux-kill-other-buffers)
- ("C-c f c" . crux-copy-file-preserve-attributes)
+ ("C-c f C" . crux-copy-file-preserve-attributes)
("C-c f D" . crux-delete-file-and-buffer)
("C-c f R" . crux-rename-file-and-buffer)
("C-S-j" . crux-top-join-line)
#+begin_src emacs-lisp
(use-package projectile
- :defer 5
+ :defer 2
:bind-keymap ("C-c p" . projectile-command-map)
:config
(projectile-mode)
#+begin_src emacs-lisp
(use-package helpful
+ :defer 1
:bind
(;; ("C-h F" . helpful-function)
("C-h f" . helpful-callable)
#+begin_src emacs-lisp
(use-package shell-pop
- :custom
- (shell-pop-universal-key "C-c e")
- (shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
+ :defer 1
+ :init
+ (setq shell-pop-universal-key "C-c e"
+ shell-pop-shell-type '("eshell" "*eshell*" (lambda nil (eshell)))))
#+end_src
** [[https://github.com/EricCrosson/unkillable-scratch][unkillable-scratch]]
#+begin_src emacs-lisp
(use-package unkillable-scratch
+ :defer 3
:config
(unkillable-scratch 1)
:custom
#+begin_src emacs-lisp
(use-package boxquote
+ :defer 3
:bind
(:prefix-map amin--boxquote-prefix-map
:prefix "C-c q"
#+begin_src emacs-lisp
(use-package highlight-indent-guides
- :demand t
+ :defer 3
:hook ((prog-mode . highlight-indent-guides-mode)
;; (org-mode . highlight-indent-guides-mode)
)
#+begin_src emacs-lisp
(use-package pdf-tools
+ :defer t
:magic ("%PDF" . pdf-view-mode)
:config
(setq pdf-view-resize-factor 1.05)
#+begin_src emacs-lisp
(use-package typo
+ :defer 2
:config
(typo-global-mode 1)
:hook (text-mode . typo-mode))
(setq alert-default-style 'notifier))
#+end_src
+** hl-todo
+
+#+begin_src emacs-lisp
+(use-package hl-todo
+ :defer 4
+ :config
+ (global-hl-todo-mode))
+#+end_src
+
+** shrink-path
+
+#+begin_src emacs-lisp
+(use-package shrink-path
+ :after eshell
+ :config
+ (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
+ eshell-prompt-function #'+eshell/prompt)
+
+ (defun +eshell/prompt ()
+ (let ((base/dir (shrink-path-prompt default-directory)))
+ (concat (propertize (car base/dir)
+ 'face 'font-lock-comment-face)
+ (propertize (cdr base/dir)
+ 'face 'font-lock-constant-face)
+ (propertize (+eshell--current-git-branch)
+ 'face 'font-lock-function-name-face)
+ "\n"
+ (propertize "λ" 'face 'eshell-prompt-face)
+ ;; needed for the input text to not have prompt face
+ (propertize " " 'face 'default))))
+
+ (defun +eshell--current-git-branch ()
+ (let ((branch (car (loop for match in (split-string (shell-command-to-string "git branch") "\n")
+ when (string-match "^\*" match)
+ collect match))))
+ (if (not (eq branch nil))
+ (concat " " (substring branch 2))
+ ""))))
+#+end_src
+
* Email
#+begin_src emacs-lisp
** Gnus
-#+begin_src emacs-lisp :tangle yes
-(setq amin-gnus-init-file (no-littering-expand-etc-file-name "gnus"))
+#+begin_src emacs-lisp
+(setq
+ amin-gnus-init-file (no-littering-expand-etc-file-name "gnus")
+ mail-user-agent 'gnus-user-agent
+ read-mail-command 'gnus)
(use-package gnus
- :bind ("s-m" . gnus)
+ :bind (("s-m" . gnus)
+ ("s-M" . gnus-unplugged))
:init
(setq
- gnus-select-method
- '(nnimap "local"
- (nnimap-address "localhost")
- (nnimap-stream shell))
- nnimap-shell-program "/usr/lib/dovecot/imap -o mail_location=maildir:$MAILDIR/amin:LAYOUT=fs:INBOX=$MAILDIR/amin/Inbox"
- ;; gnus-init-file amin-gnus-init-file
+ gnus-select-method '(nnnil "")
+ gnus-secondary-select-methods
+ '((nnimap "amin"
+ (nnimap-stream plain)
+ (nnimap-address "127.0.0.1")
+ (nnimap-server-port 143)
+ (nnimap-authenticator plain)
+ (nnimap-user "amin@aminb.org"))
+ (nnimap "uwaterloo"
+ (nnimap-stream plain)
+ (nnimap-address "127.0.0.1")
+ (nnimap-server-port 143)
+ (nnimap-authenticator plain)
+ (nnimap-user "abandali@uwaterloo.ca")))
+ gnus-message-archive-group "nnimap:Sent"
+ gnus-parameters
+ '(("gnu.*"
+ (gcc-self . t)))
+ gnus-large-newsgroup 50
gnus-home-directory (no-littering-expand-var-file-name "gnus/")
- ;; gnus-directory (no-littering-expand-var-file-name "gnus/News/")
- ;; message-directory amin-maildir
+ gnus-directory (concat gnus-home-directory "news/")
+ message-directory (concat gnus-home-directory "mail/")
+ nndraft-directory (concat gnus-home-directory "drafts/")
gnus-save-newsrc-file nil
gnus-read-newsrc-file nil
gnus-interactive-exit nil
:config
(setq
gnus-visible-headers
- (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:")
+ (concat gnus-visible-headers "\\|^List-Id:\\|^X-RT-Originator:\\|^User-Agent:")
gnus-sorted-header-list
'("^From:" "^Subject:" "^Summary:" "^Keywords:"
"^Followup-To:" "^To:" "^Cc:" "X-RT-Originator"
"^Newsgroups:" "List-Id:" "^Organization:"
- "^Date:")
+ "^User-Agent:" "^Date:")
;; local-lapsed article dates
;; from https://www.emacswiki.org/emacs/GnusFormatting#toc11
gnus-article-date-headers '(user-defined)
(lapsed (progn
(string-match " (.+" combined-lapsed)
(match-string 0 combined-lapsed))))
- (concat local lapsed)))))
+ (concat local lapsed))))
+ (bind-keys
+ :map gnus-article-mode-map
+ ("r" . gnus-article-reply-with-original)
+ ("R" . gnus-article-wide-reply-with-original)
+ ("M-L" . org-store-link)))
(use-package gnus-sum
+ :bind (:map gnus-summary-mode-map
+ :prefix-map amin--gnus-summary-prefix-map
+ :prefix "v"
+ ("r" . gnus-summary-reply)
+ ("w" . gnus-summary-wide-reply)
+ ("v" . gnus-summary-show-raw-article))
+ :config
+ (bind-keys
+ :map gnus-summary-mode-map
+ ("r" . gnus-summary-reply-with-original)
+ ("R" . gnus-summary-wide-reply-with-original)
+ ("M-L" . org-store-link)))
+
+(use-package gnus-msg
:config
- (setq gnus-extra-headers (append gnus-extra-headers
- '(List-Id X-RT-Originator))))
+ (setq gnus-posting-styles
+ '((".*"
+ (address "amin@aminb.org"))
+ ("gnu.*"
+ (address "bandali@gnu.org"))
+ ("nnimap\\+uwaterloo:.*"
+ (address "abandali@uwaterloo.ca")
+ (gcc "\"nnimap+uwaterloo:Sent Items\"")))))
+
+(use-package gnus-topic
+ :hook (gnus-group-mode . gnus-topic-mode))
+
+(use-package gnus-agent
+ :config
+ (setq gnus-agent-synchronize-flags 'ask)
+ :hook (gnus-group-mode . gnus-agent-mode))
-(use-package nnmail
+(use-package gnus-group
:config
- (setq nnmail-extra-headers (append nnmail-extra-headers
- '(List-Id X-RT-Originator))))
+ (setq gnus-permanently-visible-groups "\\((INBOX\\|gnu$\\)"))
(use-package mm-decode
:config
(setq mm-discouraged-alternatives '("text/html" "text/richtext")))
#+end_src
-# #+begin_src emacs-lisp :tangle (concat gnus-init-file ".el") :mkdirp yes
-#+begin_src emacs-lisp :tangle no
-(setq
- gnus-select-method
- '(nnimap "local"
- (nnimap-address "localhost")
- (nnimap-stream shell))
- nnimap-shell-program
- "/usr/lib/dovecot/imap -o maildir:$MAILDIR/amin:LAYOUT=fs:INBOX=$MAILDIR/amin/Inbox")
-#+end_src
-
** sendmail
#+begin_src emacs-lisp
(setq message-kill-buffer-on-exit t
message-send-mail-function 'message-send-mail-with-sendmail
message-sendmail-envelope-from 'header
- ;; message-directory "drafts"
+ message-dont-reply-to-names
+ "\\(\\(.*@aminb\\.org\\)\\|\\(\\(aminb?\\|mab\\|bandali\\)@gnu\\.org\\)\\|\\(\\(m\\|a\\(min\\.\\)?\\)bandali@uwaterloo\\.ca\\)\\)"
message-user-fqdn "aminb.org")
- ;; (add-hook 'message-mode-hook 'electric-quote-local-mode)
- (add-hook 'message-mode-hook
- (lambda () (setq fill-column 65
- message-fill-column 65)))
- (add-hook 'message-mode-hook
- #'flyspell-mode)
- ;; (add-hook 'message-setup-hook
- ;; #'mml-secure-message-sign-pgpmime)
+ :hook (;; (message-setup . mml-secure-message-sign-pgpmime)
+ (message-mode . flyspell-mode)
+ (message-mode . (lambda () (setq fill-column 65
+ message-fill-column 65))))
:custom-face
- (message-header-subject ((t (:foreground "navy blue" :weight semi-bold))))
- (message-header-to ((t (:foreground "MidnightBlue" :weight semi-bold)))))
+ (message-header-subject ((t (:foreground "#111" :weight semi-bold))))
+ (message-header-to ((t (:foreground "#111" :weight normal))))
+ (message-header-cc ((t (:foreground "#333" :weight normal)))))
(after! mml-sec
(setq mml-secure-openpgp-encrypt-to-self t
mml-secure-openpgp-sign-with-sender t))
#+end_src
-** [[https://notmuchmail.org][notmuch]]
+** footnote
-See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
+Convenient footnotes in =message-mode=.
+
+#+begin_src emacs-lisp
+(use-package footnote
+ :after message
+ :bind
+ (:map message-mode-map
+ :prefix-map amin--footnote-prefix-map
+ :prefix "C-c f"
+ ("a" . footnote-add-footnote)
+ ("b" . footnote-back-to-message)
+ ("c" . footnote-cycle-style)
+ ("d" . footnote-delete-footnote)
+ ("g" . footnote-goto-footnote)
+ ("r" . footnote-renumber-footnotes)
+ ("s" . footnote-set-style))
+ :config
+ (setq footnote-start-tag ""
+ footnote-end-tag ""
+ footnote-style 'unicode))
+#+end_src
+
+** supercite
#+begin_src emacs-lisp :tangle no
+(use-package supercite
+ :commands sc-cite-original
+ :init
+ (add-hook 'mail-citation-hook 'sc-cite-original)
+
+ (defun sc-remove-existing-signature ()
+ (save-excursion
+ (goto-char (region-beginning))
+ (when (re-search-forward message-signature-separator (region-end) t)
+ (delete-region (match-beginning 0) (region-end)))))
+
+ (add-hook 'mail-citation-hook 'sc-remove-existing-signature)
+
+ (defun sc-remove-if-not-mailing-list ()
+ (unless (assoc "list-id" sc-mail-info)
+ (setq attribution sc-default-attribution
+ citation (concat sc-citation-delimiter
+ sc-citation-separator))))
+
+ (add-hook 'sc-attribs-postselect-hook 'sc-remove-if-not-mailing-list)
+
+ :config
+ (defun sc-fill-if-different (&optional prefix)
+ "Fill the region bounded by `sc-fill-begin' and point.
+Only fill if optional PREFIX is different than
+`sc-fill-line-prefix'. If `sc-auto-fill-region-p' is nil, do not
+fill region. If PREFIX is not supplied, initialize fill
+variables. This is useful for a regi `begin' frame-entry."
+ (if (not prefix)
+ (setq sc-fill-line-prefix ""
+ sc-fill-begin (line-beginning-position))
+ (if (and sc-auto-fill-region-p
+ (not (string= prefix sc-fill-line-prefix)))
+ (let ((fill-prefix sc-fill-line-prefix))
+ (unless (or (string= fill-prefix "")
+ (save-excursion
+ (goto-char sc-fill-begin)
+ (or (looking-at ">+ +")
+ (< (length
+ (buffer-substring (point)
+ (line-end-position)))
+ 65))))
+ (fill-region sc-fill-begin (line-beginning-position)))
+ (setq sc-fill-line-prefix prefix
+ sc-fill-begin (line-beginning-position)))))
+nil))
+#+end_src
+
+** COMMENT gnus-alias :ARCHIVE:
+
+#+begin_src emacs-lisp
+(use-package gnus-alias
+ :commands (gnus-alias-determine-identity
+ gnus-alias-select-identity)
+ :bind (:map message-mode-map
+ ("s-i" . gnus-alias-select-identity))
+ :config
+ (setq
+ gnus-alias-default-identity "amin"
+ gnus-alias-identity-alist
+ '(("amin"
+ nil ;; Does not refer to any other identity
+ "Amin Bandali <amin@aminb.org>"
+ nil ;; Organization
+ nil ;; extra headers
+ nil ;; extra body text
+ nil) ;; signature file
+ ("gnu"
+ nil
+ "Amin Bandali <bandali@gnu.org>"
+ nil
+ nil
+ nil
+ nil)
+ ("uw"
+ nil
+ "Amin Bandali <abandali@uwaterloo.ca>"
+ nil
+ (("Gcc" . "\"nnimap+uwaterloo:Sent Items\""))
+ nil
+ nil))
+ gnus-alias-identity-rules
+ '(("amin" ("Delivered-To" "<amin\\@aminb\\.org" both) "amin")
+ ("gnu" ("Delivered-To" "<gnu\\@aminb\\.org" both) "gnu")
+ ("uw" ("any" "<\\(.+\\)\\@uwaterloo\\.ca" both) "uw"))
+ gnus-alias-override-user-mail-address t)
+ :hook (message-setup . gnus-alias-determine-identity))
+#+end_src
+
+** COMMENT [[https://notmuchmail.org][notmuch]] :ARCHIVE:
+
+See [[notmuch:id:87muuqsvci.fsf@fencepost.gnu.org][bug follow-up]].
+
+#+begin_src emacs-lisp
(defun amin/notmuch ()
"Delete other windows, then launch `notmuch'."
(interactive
(after! notmuch-crypto
(setq notmuch-crypto-process-mime t))
-#+end_src
-
-** supercite
-
-#+begin_src emacs-lisp :tangle no
-(use-package supercite
- :commands sc-cite-original
- :init
- (add-hook 'mail-citation-hook 'sc-cite-original)
-
- (defun sc-remove-existing-signature ()
- (save-excursion
- (goto-char (region-beginning))
- (when (re-search-forward message-signature-separator (region-end) t)
- (delete-region (match-beginning 0) (region-end)))))
-
- (add-hook 'mail-citation-hook 'sc-remove-existing-signature)
-
- (defun sc-remove-if-not-mailing-list ()
- (unless (assoc "list-id" sc-mail-info)
- (setq attribution sc-default-attribution
- citation (concat sc-citation-delimiter
- sc-citation-separator))))
-
- (add-hook 'sc-attribs-postselect-hook 'sc-remove-if-not-mailing-list)
- :config
- (defun sc-fill-if-different (&optional prefix)
- "Fill the region bounded by `sc-fill-begin' and point.
-Only fill if optional PREFIX is different than
-`sc-fill-line-prefix'. If `sc-auto-fill-region-p' is nil, do not
-fill region. If PREFIX is not supplied, initialize fill
-variables. This is useful for a regi `begin' frame-entry."
- (if (not prefix)
- (setq sc-fill-line-prefix ""
- sc-fill-begin (line-beginning-position))
- (if (and sc-auto-fill-region-p
- (not (string= prefix sc-fill-line-prefix)))
- (let ((fill-prefix sc-fill-line-prefix))
- (unless (or (string= fill-prefix "")
- (save-excursion
- (goto-char sc-fill-begin)
- (or (looking-at ">+ +")
- (< (length
- (buffer-substring (point)
- (line-end-position)))
- 65))))
- (fill-region sc-fill-begin (line-beginning-position)))
- (setq sc-fill-line-prefix prefix
- sc-fill-begin (line-beginning-position)))))
-nil))
+(use-package org-notmuch
+ :after (:any org notmuch))
#+end_src
* Blogging
projects / ~bandali / configs / blobdiff