Bug#677313: xboard: no way to remember -inc/-timeIncrement option

[h.g. muller]

>
>XBoard has always had the XResources file, and I have always used that
>and loved it, until the *%&$ing xboardrc file started overriding it.
>So no, they weren't volatile at all.

That would still qualify as volatile, because XBoard would  never write in the
XResources file. So whatever changes you would make during a session,
they would be gone next time you run XBoard. Which is what 'volatile' means.

If you are happier editing settings files than controlling settings through the
GUI menus, you can switch Save Settings on Exit off and force saving of that
setting in xboardrc once with Save Settings Now. Then your xboardrc would
never be overwritten and you could use it as before you used XResources.
Or if you would only want that for part of the options, you could edit
xboardrc to add the lines

/settingsFile ~/MyXBoardSettings
/saveSettingsFile ~/MyXBoardSettings

at the beginning. That would also protect xboardrc from overwriting (as it
redirects the saving to the file MyXBoardSettings in your home directory),
so you could use the xboardrc for statically defining any option setting
you wanted (like with the old XResources), and options that are not
mentioned there will still persist to the next session (if they were not 
volatile
to begin with).

Unfortunately none of this would work for -inc as long as the -inc -1 is the
last line of /etc/xboard.conf master settings file, which overrules everything
else. But, as I said, in the development version this has already been cured,
by making the increment persist as the -mps option.


>--
>Ian Zimmerman
>gpg public key: 1024D/C6FF61AD
>fingerprint: 66DC D68F 5C1B 4D71 2EE5  BD03 8A00 786C C6FF 61AD
>http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png
>Rule 420: All persons more than eight miles high to leave the court.