Launcher ini file management
A) The TXM.ini file content should be split in several files and compiled by script in a synthesized TXM.ini file at startup before the current startup.
B) The memory settings content lines of TXM.ini:
-Xms512m
-Xmx1024m
must be stored, and edited by the public-memory-size-number preference management code, in a dedicated TXM-memory.ini file.
C) The startup script must concatenate all .ini files to TXM.ini before the current TXM startup:
cat TXM-memory.ini TXM-network.ini ... > TXM.ini
Some related behaviors
- if any mandatory .ini file is missing before concatenation, it must be re-created with a default content (for example with the content of the lines of the current TXM.ini file)