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

[Ian Zimmerman]

On Sat, 29 Sep 2012 20:18:15 +0200
"h.g. muller" <h.g.muller at hccnet.nl> wrote:

h> I intentionally disabled persistence of the -inc option by forcing
h> its value to -1 in the last line of the xboard.conf master settings
h> file. This was motivated by the fact that a saved -inc value >= 0
h> would cause the -mps option to be ignored, even when the latter is
h> explicitly specified on the command line. By resetting -inc on every
h> start, at least all options will be obeyed from the command line, as
h> they used to be before settings were saved. It seemed preferable to
h> have a slight annoyance over a problem that users probably would
h> never figure out.

That may have been the best solution, but it should be documented.

-- 
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.