Apparently that was the mistake. Thank you!

Marc

On Mon, 5 Jun 2017, Christian Grün wrote:

Did you differentiate between global and local options [1]?

Cheers, Christian

[1] http://docs.basex.org/wiki/Options

Am 05.06.2017 5:39 nachm. schrieb marc@crosseyed.nl: 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