diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:16:45 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:16:52 +0100 |
| commit | d38728377cdbdb676db624eae1a26315eb23f69b (patch) | |
| tree | 49b860579d19f1e096ed75015e57f155d505072b | |
| parent | c2ed3843d514c1b12808ce18200fd953a52fa98d (diff) | |
| download | dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.tar.gz dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.zip | |
Add company-coq to doom config
| -rw-r--r-- | doom/config.org | 16 | ||||
| -rw-r--r-- | doom/packages.el | 2 | ||||
| -rw-r--r-- | zsh/.zsh/export.zsh | 1 |
3 files changed, 18 insertions, 1 deletions
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" |