From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Mon, 29 Nov 2010 16:48:48 +0000 (+0100)
Subject: Configure -inc as volatile option in XBoard
X-Git-Url: http://winboard.nl/cgi-bin?p=xboard.git;a=commitdiff_plain;h=cbaccf4751c2ac4c951061b8441a9c31fbf91918

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