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