From b32bd3e7c6951977d8100fc1d9e5ad1eeb5a79cb Mon Sep 17 00:00:00 2001 From: voje Date: Sun, 3 Mar 2019 21:10:23 +0100 Subject: [PATCH] Setup that SRL tagged kres --- tools/tools.cfg | 4 ++-- tools/tools.cfg.local | 8 ++++++++ 2 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 tools/tools.cfg.local diff --git a/tools/tools.cfg b/tools/tools.cfg index 2e1c839..2751d43 100644 --- a/tools/tools.cfg +++ b/tools/tools.cfg @@ -1,8 +1,8 @@ [tools] -kres_orig = ../data/kres_example +kres_orig = /kres_mount/kres_parsed/tei kres_tsv = ../data/kres_out/1_tsv kres_srl = ../data/kres_out/2_srl kres_json = ../data/kres_out/final_json logfile = ../progress.log -cpu_cores = 1 +cpu_cores = 5 debug = False diff --git a/tools/tools.cfg.local b/tools/tools.cfg.local new file mode 100644 index 0000000..2e1c839 --- /dev/null +++ b/tools/tools.cfg.local @@ -0,0 +1,8 @@ +[tools] +kres_orig = ../data/kres_example +kres_tsv = ../data/kres_out/1_tsv +kres_srl = ../data/kres_out/2_srl +kres_json = ../data/kres_out/final_json +logfile = ../progress.log +cpu_cores = 1 +debug = False