Hi Karlo,

Where does basex set the location of the configuration? If you point me to the file, I might try changing it.

By default, BaseX creates and updates the configuration files in the project’s "Home Directory". This directory is determined at startup time as described in the Wiki [1]. If you download and start the JAR file on a completely fresh system, the home directory will be the same as the user home directory. Hope this helps, Christian [1] https://docs.basex.org/wiki/Configuration#Home_Directory On Tue, Jun 22, 2021 at 6:37 AM <karlo@fastmail.com> wrote:

Liam R. E. Quin writes:

...

The things that are binary-only, if they have a compatible licence, could either be included or added in a separate package.

Indeed, when registering it with a package repository, we would replace those binary libaries with dependent packages from the repository.

Liam R. E. Quin writes:

...

Yes, it should look in $HOME for a conf file.

Even better, ${XDG_CONFIG_HOME:-${HOME}/.config}

Where does basex set the location of the configuration? If you point me to the file, I might try changing it.