From d38728377cdbdb676db624eae1a26315eb23f69b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 19 Apr 2022 11:16:45 +0100
Subject: Add company-coq to doom config

---
 doom/config.org     | 16 ++++++++++++++++
 doom/packages.el    |  2 +-
 zsh/.zsh/export.zsh |  1 +
 3 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/doom/config.org b/doom/config.org
index b99b2b2..3ebd1e0 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)
@@ -1010,4 +1022,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 a1627fb..6b5f23c 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 ac0bb89..5bd3ed9 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"
-- 
cgit