diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 01:53:40 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 01:53:40 +0000 |
commit | 433f57c839f51239928ff5c95308d278aa485a4b (patch) | |
tree | adaa6ac84ee6cd41cb4aacb86eff456355d8adc9 /zsh/.zsh | |
parent | 413ddaca26bfa125e2b8d2cc694931039f270de2 (diff) | |
download | dotfiles-433f57c839f51239928ff5c95308d278aa485a4b.tar.gz dotfiles-433f57c839f51239928ff5c95308d278aa485a4b.zip |
Changes to zsh and emacs
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" |