diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:17:58 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:17:58 +0100 |
| commit | db69f3572bdb41d0f390c536699dca9a88fead63 (patch) | |
| tree | 9adcf70912ae2c129c0ccf45788554e9b8a3ed09 /doom | |
| parent | d066b6c848a48cb3cd6ac1562eb840c4a10101e0 (diff) | |
| parent | d38728377cdbdb676db624eae1a26315eb23f69b (diff) | |
| download | dotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.tar.gz dotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.zip | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'doom')
| -rw-r--r-- | doom/config.org | 16 | ||||
| -rw-r--r-- | doom/packages.el | 2 |
2 files changed, 17 insertions, 1 deletions
diff --git a/doom/config.org b/doom/config.org index 2f18499..b35d7fd 100644 --- a/doom/config.org +++ b/doom/config.org @@ -554,6 +554,13 @@ (add-hook 'TeX-after-compilation-finished-functions #'TeX-revert-document-buffer)) +(after! context + (setq TeX-command-list + (append + '(("context" + "context --purgeall %s" + TeX-run-command nil t :help "Run ConTeXt")) TeX-command-list))) + ;; Bibtex stuff (use-package! ebib :bind (("C-c y b" . ebib)) @@ -570,6 +577,11 @@ (add-to-list 'ebib-file-associations '("pdf" . "open")) (add-to-list 'ebib-file-associations '("pdf" . nil))) (add-to-list 'ebib-citation-commands '(org-mode (("ref" "cite:%(%K%,)")))) + (add-to-list 'ebib-citation-commands '(context-mode (("cite" "\\cite[%(%K%,)]") + ("authoryear" "\\cite[authoryear][%(%K%,)]") + ("authoryears" "\\cite[entry][%(%K%,)]") + ("entry" "\\cite[entry][%(%K%,)]") + ("authors" "\\cite[authors][%(%K%,)]")))) (advice-add 'bibtex-generate-autokey :around (lambda (orig-func &rest args) @@ -1022,4 +1034,8 @@ https://yannherklotz.com") (use-package! ox-tufte :after org :config) + +(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode") + +(use-package! agda2-mode) #+end_src diff --git a/doom/packages.el b/doom/packages.el index a9fa8ad..9089104 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -1,5 +1,5 @@ ;; Disabling packages -(disable-packages! undo-tree org-bullets helm pretty-code company-coq) +(disable-packages! undo-tree org-bullets helm pretty-code) ;; `org-mode' dependencies (package! ol-notmuch) |