Bureaucrats, editor, reviewer, Administrators
13,550
edits
Changes
Jump to navigation
Jump to search
→Configuration Files
* <code>.basexgui</code> defines all options relevant to the BaseX GUI.
* <code>.basexhistory</code> contains commands that have been typed in most recently.
* An empty <code>.basexhome</code> file can be created by added to a user directory to mark a folder it as [[#Home Directory|home directory]]. Its contents do not matter, so it is usually empty.
Note that:
