aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-04-19 11:17:58 +0100
committerYann Herklotz <git@yannherklotz.com>2022-04-19 11:17:58 +0100
commitdb69f3572bdb41d0f390c536699dca9a88fead63 (patch)
tree9adcf70912ae2c129c0ccf45788554e9b8a3ed09
parentd066b6c848a48cb3cd6ac1562eb840c4a10101e0 (diff)
parentd38728377cdbdb676db624eae1a26315eb23f69b (diff)
downloaddotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.tar.gz
dotfiles-db69f3572bdb41d0f390c536699dca9a88fead63.zip
Merge remote-tracking branch 'origin/master'
-rw-r--r--doom/config.org16
-rw-r--r--doom/packages.el2
-rw-r--r--zsh/.zsh/export.zsh1
3 files changed, 18 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)
diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh
index 140f706..fc5e3fc 100644
--- a/zsh/.zsh/export.zsh
+++ b/zsh/.zsh/export.zsh
@@ -38,6 +38,7 @@ prepend_path "${HOME}/.yarn/bin"
prepend_path "${HOME}/.cargo/bin"
prepend_path "${HOME}/.cabal/bin"
prepend_path "${HOME}/.local/bin"
+prepend_path "/opt/context/tex/texmf-osx-64/bin"
# prepend_path "/usr/local/opt/llvm/bin"
prepend_path "/mnt/data/tools/panda/bambu-9.7-dev/bin"