On Mon, May 11, 2020 at 09:23:34AM +0200, Christian Grün scripsit:
Hi Graydon,
Hi Christian -- [sensible reasons for why it does that snipped]
If you want to make database options persistent, you can manually add them at the bottom of the .basex configuration file [1]. It’s recommendable to quit the GUI before editing the file, as the graphical user interface might overwrite your changes when it’s closed.
So if I edit ~/.basex so that the last lines are: # Local Options ARCHIVENAME = true # create databases CREATEFILTER = *.xml,*.met ADDARCHIVES = false CHOP = false INTPARSE = true ADDARCHIVES works, CHOP works, INTPARSE works, but CREATEFILTER does not, or at least I still get only "*.xml" as a suffix in the "File Patterns" box. Am I doing this wrong? This is with 9.3.2. Thanks! Graydon