From 433f57c839f51239928ff5c95308d278aa485a4b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 22 Mar 2022 01:53:40 +0000 Subject: Changes to zsh and emacs --- zsh/.zsh/export.zsh | 1 + 1 file changed, 1 insertion(+) (limited to 'zsh/.zsh') 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" -- cgit