projects
/
~bandali
/
configs
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[emacs] update 2 drones
[~bandali/configs]
/
init.org
diff --git
a/init.org
b/init.org
index
04719f0
..
9192dff
100644
(file)
--- a/
init.org
+++ b/
init.org
@@
-876,8
+876,11
@@
In short, my favourite way of life.
#+begin_src emacs-lisp
(setq org-src-tab-acts-natively t
org-src-preserve-indentation nil
#+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)
(add-hook 'org-mode-hook 'org-indent-mode)
+(use-package htmlize)
#+end_src
*** [[https://magit.vc/][Magit]]
#+end_src
*** [[https://magit.vc/][Magit]]
@@
-1063,7
+1066,8
@@
TODO: break this giant source block down into individual org sections.
(ab--leader-keys
"b s" 'save-buffer
"b b" 'ivy-switch-buffer
(ab--leader-keys
"b s" 'save-buffer
"b b" 'ivy-switch-buffer
- "b k" 'kill-buffer
+ "," 'ivy-switch-buffer
+ "b k" 'kill-this-buffer
"q q" 'evil-save-and-quit)
#+end_src
"q q" 'evil-save-and-quit)
#+end_src
@@
-1080,6
+1084,12
@@
TODO: break this giant source block down into individual org sections.
#+end_src
* Programming modes
#+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
** [[https://github.com/leanprover/lean-mode][Lean]]
#+begin_src emacs-lisp