3,897
edits
Changes
Jump to navigation
Jump to search
→Implementation notes
== Implementation notes ==
=== Command disk file names files === The extension has three types of data files on the filesystem: * XML files for command definitions* Verification tables for command definitions* Wiki text files for instance pages
Generally, the file names follow the logic of the wiki page title, except with the prefix <code>cmd-</code> instead of <code>/Command</code>.
The file extension for the XML files themselves is <code>.xml</code>, the file extension for the verification table lua dump is <code>-test.lua</code>, the file extension for instance pages (redirects) is <code>.wiki</code>
However, in order to appease case-preserving and case-sensitive file systems, all uppercase letters in the filename are prefixed with a <code>^</code> character. A simple example: <code>Command/WEEKDAY</code> is stored on disk as <code>cmd-^W^E^E^K^D^A^Y.xml</code>, and its verification table is stored in <code>cmd-^W^E^E^K^D^A^Y-test.lua</code>.
