diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:47:38 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:47:38 +0100 |
commit | b6878b8d01cdaf056cd443dc70a43469e558ed34 (patch) | |
tree | a49bf5a6fbde31cf7a49dd6347d757342022fa9c /zsh | |
parent | a3c5c382547322797cf67256f091f73563570e95 (diff) | |
parent | 064934f86c8f2839f28acc92c07864ce265f68fe (diff) | |
download | dotfiles-b6878b8d01cdaf056cd443dc70a43469e558ed34.tar.gz dotfiles-b6878b8d01cdaf056cd443dc70a43469e558ed34.zip |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zsh/export.zsh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index 5bd3ed9..1cc8bef 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -13,6 +13,7 @@ export VISUAL='emacsclient -c' export TERM='xterm-256color' export CLICOLOR=1 export LEDGER_FILE="$HOME/Dropbox/ledger/main.ledger" +export VAGRANT_HOME=/mnt/orca/vagrant #export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" @@ -42,6 +43,7 @@ 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" +prepend_path "/opt/context/tex/texmf-linux-64/bin" append_path "/opt/Xilinx/Vivado/2019.1/bin" append_path "/opt/intelFPGA_lite/18.1/quartus/bin" |