Re: [basex-talk] Create Options are deleted from .basex config file

2017-06-05 Thread Marc Coenegracht 

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 :
  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

Re: [basex-talk] Create Options are deleted from .basex config file

2017-06-05 Thread Christian Grün 
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 :

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

[basex-talk] Create Options are deleted from .basex config file

2017-06-05 Thread marc 

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