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 /zsh | |
parent | c2ed3843d514c1b12808ce18200fd953a52fa98d (diff) | |
download | dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.tar.gz dotfiles-d38728377cdbdb676db624eae1a26315eb23f69b.zip |
Add company-coq to doom config
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zsh/export.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
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" |