From c9aff7d0a11bd443f39a25693fc2378b201c64d0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 11:17:30 +0100 Subject: Add context to load path --- zsh/.zsh/export.zsh | 1 + 1 file changed, 1 insertion(+) (limited to 'zsh') diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index ac0bb89..140f706 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -41,6 +41,7 @@ prepend_path "${HOME}/.local/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" -- cgit From 064934f86c8f2839f28acc92c07864ce265f68fe Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 30 Apr 2022 10:42:42 +0100 Subject: Adding company fixes to config.org --- zsh/.zsh/export.zsh | 1 + 1 file changed, 1 insertion(+) (limited to 'zsh') diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index fc5e3fc..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" -- cgit