m***@crosseyed.nl
2017-06-05 15:39:30 UTC
Options manually added to the .basex config file are deleted by BaseX.
For example, these Create Options all get deleted from the .basex file
after running a standalone basex script:
ADDARCHIVES = true
CREATEFILTER = *.anx
STRIPNS = true
INTPARSE = true
LANGUAGE = Dutch (also tried 'nl')
Basex 8.5.3 on Linux
Regards,
Marc
For example, these Create Options all get deleted from the .basex file
after running a standalone basex script:
ADDARCHIVES = true
CREATEFILTER = *.anx
STRIPNS = true
INTPARSE = true
LANGUAGE = Dutch (also tried 'nl')
Basex 8.5.3 on Linux
Regards,
Marc