diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:49:29 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:56:25 +0000 |
| commit | d350f40314b12d63933a4ea8679f58b216c8673d (patch) | |
| tree | e2cdb8278cb62dc29dba19dfd847990c5e0389bb /doom | |
| parent | 532c99d5b9556812e8ab72bc17ce0a94bf8a2fe7 (diff) | |
| download | dotfiles-d350f40314b12d63933a4ea8679f58b216c8673d.tar.gz dotfiles-d350f40314b12d63933a4ea8679f58b216c8673d.zip | |
Update doom configuration and add ox-gfm
Diffstat (limited to 'doom')
| -rw-r--r-- | doom/config.el | 9 | ||||
| -rw-r--r-- | doom/packages.el | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/doom/config.el b/doom/config.el index 7bbf510..08ba880 100644 --- a/doom/config.el +++ b/doom/config.el @@ -454,7 +454,12 @@ (setq org-beamer-environments-extra '(("onlyenv" "o" "\\begin{onlyenv}%a{%h}" "\\end{onlyenv}") ("onlyenvNH" "o" "\\begin{onlyenv}%a" "\\end{onlyenv}") ("blockNH" "o" "\\begin{block}%a{}" "\\end{block}") - ("minipage" "o" "\\begin{minipage}[t]%o[t]{1.0\\textwidth}" "\\end{minipage}")))) + ("minipage" "o" "\\begin{minipage}[t]%o[t]{1.0\\textwidth}" "\\end{minipage}"))) + + (add-to-list 'org-latex-packages-alist '("" "tikz" t)) + (eval-after-load "preview" + '(add-to-list 'preview-default-preamble + "\\PreviewEnvironment{tikzpicture}" t))) (use-package! ox-tufte :after org) @@ -624,6 +629,8 @@ (use-package! direnv :config (direnv-mode)) +(use-package! ox-gfm) + (use-package! org-zettelkasten :config (add-hook 'org-mode-hook #'org-zettelkasten-mode) diff --git a/doom/packages.el b/doom/packages.el index 56d91e8..65802ab 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -8,6 +8,7 @@ (package! org-superstar) (package! ox-reveal) (package! ox-tufte) +(package! ox-gfm) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) (package! org-zettelkasten @@ -41,6 +42,7 @@ (package! hungry-delete) ;; Coq +;;(package! alectryon) ;; Coq documentation tool ;; Teaching (package! boogie-friends) |