Configure -inc as volatile option in XBoard

XBoard users are not used to options being persistent, and thus have
many scripts assuming the timeIncrement is -1 when they don't specify it
on the command line, and want to specify -mps. But a persistent -inc of
0 fom a preious session would then force their -mps to zero, causing
big-time confusion.

diff --git a/xboard.conf b/xboard.conf
index d41339a..e2ae0ea 100644 (file)
--- a/xboard.conf
+++ b/xboard.conf
@@ -65,4 +65,8 @@
 -saveSettingsOnExit true
 -saveSettingsFile "~/.xboardrc"
 -settingsFile "~/.xboardrc"
+;
+; Turn -inc into a volatile option, to prevent a persistent increment >= 0 dominating a command-line -mps
+;
+-inc -1