I have another question regarding the .basex config file. How does basex determine the home directory of the current user? by looking at $HOME? I&#39;d like to trick basex into thinking this file is somewhere else, because the hard restriction that this file must reside in the home directory of the current user will not work for our use.<div>
<br></div><div>-tjw</div>