2019-02-27 08:15:40 +00:00
|
|
|
[tools]
|
2019-03-03 20:10:23 +00:00
|
|
|
kres_orig = /kres_mount/kres_parsed/tei
|
2019-02-28 07:20:21 +00:00
|
|
|
kres_tsv = ../data/kres_out/1_tsv
|
2019-02-28 09:54:37 +00:00
|
|
|
kres_srl = ../data/kres_out/2_srl
|
2019-02-28 07:20:21 +00:00
|
|
|
kres_json = ../data/kres_out/final_json
|
2019-02-28 09:34:12 +00:00
|
|
|
logfile = ../progress.log
|
2019-03-03 20:10:23 +00:00
|
|
|
cpu_cores = 5
|
2019-02-28 08:57:46 +00:00
|
|
|
debug = False
|
