From 706edabdd1077adfdfd64189fa4ea565ae5c72d9 Mon Sep 17 00:00:00 2001 From: Bertrand Benjamin Date: Thu, 13 Sep 2018 11:30:19 +0200 Subject: [PATCH] use good env --- config.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.sh b/config.sh index 0977516..a5fe43c 100644 --- a/config.sh +++ b/config.sh @@ -5,7 +5,7 @@ export ROOT=`pwd` export TEXINPUTS=".:${ROOT}/tools/style//::" # activate virtual env -. ./venv/bin/activate +source ./.venv/bin/activate goroot(){ cd $ROOT