diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:42:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:42:42 +0100 |
commit | 064934f86c8f2839f28acc92c07864ce265f68fe (patch) | |
tree | 769cf16df85f00356f13f16763a79003913ecbe5 /zsh | |
parent | db69f3572bdb41d0f390c536699dca9a88fead63 (diff) | |
download | dotfiles-064934f86c8f2839f28acc92c07864ce265f68fe.tar.gz dotfiles-064934f86c8f2839f28acc92c07864ce265f68fe.zip |
Adding company fixes to config.org
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 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" |