This is a first attempt at providing a command-line option to use a custom config file when launching Tilda.
Note that the -c flag suggested in TODO.md has been discarded as it is already used for --command, hence -g is used here instead, which of course can be changed.
Note: this only works with one instance of Tilda so far.
This is a first attempt at providing a command-line option to use a custom config file when launching Tilda. Note that the
-cflag suggested inTODO.mdhas been discarded as it is already used for--command, hence-gis used here instead, which of course can be changed. Note: this only works with one instance of Tilda so far.