'auto-compile-inhibit-compile-detached-git-head))
#+end_src
-*** TODO [[https://github.com/Kungsgeten/ryo-modal][ryo-modal]]
+*** [[https://github.com/noctuid/general.el][general]]
#+begin_quote
Roll your own modal mode
#+end_quote
+#+begin_src emacs-lisp
+(use-package general
+ :demand t
+ :config
+ (general-evil-setup t)
+
+ (general-override-mode)
+
+ (general-create-definer
+ ab--mode-leader-keys
+ :keymaps 'override
+ :states '(emacs normal visual motion insert)
+ :non-normal-prefix "C-,"
+ :prefix ",")
+
+ (general-create-definer
+ ab--leader-keys
+ :keymaps 'override
+ :states '(emacs normal visual motion insert)
+ :non-normal-prefix "M-m"
+ :prefix "SPC"))
+#+end_src
+
+*** evil
+
+#+begin_src emacs-lisp
+(use-package evil
+ :demand t
+ :hook (view-mode . evil-motion-state)
+ :config (evil-mode 1))
+#+end_src
+
+#+begin_src emacs-lisp
+(use-package evil-escape
+ :demand t
+ :init
+ (setq evil-escape-excluded-states '(normal visual multiedit emacs motion)
+ evil-escape-excluded-major-modes '(neotree-mode)
+ evil-escape-key-sequence "jk"
+ evil-escape-delay 0.25)
+ :general
+ (:states '(insert replace visual operator)
+ "C-g" #'evil-escape)
+ :config
+ (evil-escape-mode 1)
+ ;; no `evil-escape' in minibuffer
+ (push #'minibufferp evil-escape-inhibit-functions))
+#+end_src
+
*** [[https://github.com/ch11ng/exwm][EXWM]] (window manager)
#+begin_src emacs-lisp :tangle no
#+begin_src emacs-lisp
(setq org-src-tab-acts-natively t
org-src-preserve-indentation nil
- org-edit-src-content-indentation 0)
+ org-edit-src-content-indentation 0
+ org-html-doctype "html5"
+ org-html-html5-fancy t)
+(add-hook 'org-mode-hook 'org-indent-mode)
+(use-package htmlize)
#+end_src
*** [[https://magit.vc/][Magit]]
#+begin_src emacs-lisp
(use-package magit
+ :general (ab--leader-keys "g s" 'magit-status)
:defer t
:bind (("s-g" . magit-status)
("C-x g" . magit-status)
#+begin_src emacs-lisp
(use-package ivy
+ :defer 1
:bind
(:map ivy-minibuffer-map
([escape] . keyboard-escape-quit)
#+begin_src emacs-lisp
(use-package swiper
+ :general (:states 'normal "/" 'swiper)
:bind (([remap isearch-forward] . swiper)
([remap isearch-backward] . swiper)))
#+end_src
#+begin_src emacs-lisp
(use-package counsel
:defer 1
+ :general (ab--leader-keys
+ "f r" 'counsel-recentf
+ "SPC" 'counsel-M-x
+ "." 'counsel-find-file)
:bind (([remap execute-extended-command] . counsel-M-x)
([remap find-file] . counsel-find-file)
("s-r" . counsel-recentf)
(global-company-mode t))
#+end_src
+** Customizations
+
+#+begin_src emacs-lisp
+(ab--leader-keys
+ "b s" 'save-buffer
+ "b b" 'ivy-switch-buffer
+ "," 'ivy-switch-buffer
+ "b k" 'kill-this-buffer
+ "q q" 'evil-save-and-quit)
+#+end_src
+
* Syntax and spell checking
#+begin_src emacs-lisp
(use-package flycheck
#+end_src
* Programming modes
+** Alloy
+
+#+begin_src emacs-lisp
+(use-package alloy-mode)
+#+end_src
+
** [[https://github.com/leanprover/lean-mode][Lean]]
#+begin_src emacs-lisp
(delete-other-windows)
(notmuch))
+;; (ab--leader-keys
+;; "m" 'ab/notmuch
+;; "s" 'save-buffer
+;; "SPC" 'counsel-M-x)
+
;; (map!
;; :leader
;; :desc "notmuch" :n "m" #'ab/notmuch
message-send-mail-function 'message-send-mail-with-sendmail
message-sendmail-envelope-from 'header
message-directory "drafts"
- message-user-fqdn "aminb.org")
+ message-user-fqdn "fencepost.gnu.org")
(add-hook 'message-mode-hook
(lambda () (setq fill-column 65
message-fill-column 65)))
mml-secure-openpgp-sign-with-sender t))
(use-package notmuch
+ :general (ab--leader-keys "m" 'ab/notmuch)
:config
(setq notmuch-hello-sections
'(notmuch-hello-insert-header
("S" . (lambda ()
"Mark message as spam"
(interactive)
- (notmuch-search-tag '("-unread" "-inbox" "+spam"))
+ (notmuch-search-tag '("-unread" "-inbox" "-webmasters" "+spam"))
(notmuch-search-archive-thread))))
(:map notmuch-tree-mode-map ; TODO: additional bindings
("S" . (lambda ()
"Mark message as spam"
(interactive)
- (notmuch-tree-tag '("-unread" "-inbox" "+spam"))
+ (notmuch-tree-tag '("-unread" "-inbox" "-webmasters" "+spam"))
(notmuch-tree-archive-thread))))
)