diff options
Diffstat (limited to 'zsh/.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 73e0a01..ac0bb89 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -12,6 +12,7 @@ export EDITOR='emacsclient -nw' export VISUAL='emacsclient -c' export TERM='xterm-256color' export CLICOLOR=1 +export LEDGER_FILE="$HOME/Dropbox/ledger/main.ledger" #export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" |