From cbaccf4751c2ac4c951061b8441a9c31fbf91918 Mon Sep 17 00:00:00 2001 From: H.G. Muller Date: Mon, 29 Nov 2010 17:48:48 +0100 Subject: [PATCH] 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. --- xboard.conf | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) 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 -- 1.7.0.4