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

2013-01-03 Thread 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.



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2013-01-02 Thread h.g. muller

At 19:27 1-1-2013 -0800, Ian Zimmerman wrote:

On Sat, 29 Sep 2012 20:18:15 +0200
h.g. muller h.g.mul...@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.


The manual in general does not list with every option whether it is persistent
or volatile. In version 4.7 the problem will have been fixed by storing the
increment as negative -mps value (so that -mps 40 -tc 5 means 40moves/5min
and -mps -3 -tc 5 means 5 min + 3 sec/move). All TC types are then encoded
by a single option, which removes the problem of one persistent option
'eclipsing' another. -inc can then be deprecated, as the increment will be
remembered in -mps, which is persistent.



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



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2013-01-02 Thread Ian Zimmerman
On Wed, 02 Jan 2013 10:31:34 +0200
h.g. muller h.g.mul...@hccnet.nl wrote:

 The manual in general does not list with every option whether it is
 persistent or volatile.

It says this:

   This  section documents the command-line options to XBoard.  You
   can set these options in two ways: by typing them on the shell
   command line you use to start XBoard,  or  by  editing  the
   settings  file  (usually ~/.xboardrc) to alter the value of the
   setting that was saved there.

which is false for any option of the volatile kind (I didn't know
they existed).

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


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2013-01-02 Thread h.g. muller

At 09:45 2-1-2013 -0800, Ian Zimmerman wrote:

On Wed, 02 Jan 2013 10:31:34 +0200
h.g. muller h.g.mul...@hccnet.nl wrote:

 The manual in general does not list with every option whether it is
 persistent or volatile.

It says this:

   This  section documents the command-line options to XBoard.  You
   can set these options in two ways: by typing them on the shell
   command line you use to start XBoard,  or  by  editing  the
   settings  file  (usually ~/.xboardrc) to alter the value of the
   setting that was saved there.

which is false for any option of the volatile kind (I didn't know
they existed).


The manual was written at a time when XBoard did not have a settings file
at all, and all options were volatile. The settings file was something that was
ported from WinBoard.  That makes the manual a bit obsolete in some places.
I can't work on the code and the manual at the same time, and working on
the code is already close to 1.5 full-time jobs. So the best strategy seemed
to be to just give up on the manual.


--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2013-01-02 Thread Ian Zimmerman
On Wed, 02 Jan 2013 19:57:19 +0200
h.g. muller h.g.mul...@hccnet.nl wrote:

h The manual in general does not list with every option whether it is
h persistent or volatile.

Ian It says this:

Ian This section documents the command-line options to XBoard.  You can
Ian set these options in two ways: by typing them on the shell command
Ian line you use to start XBoard, or by editing the settings file
Ian (usually ~/.xboardrc) to alter the value of the setting that was
Ian saved there.

Ian which is false for any option of the volatile kind (I didn't know
Ian they existed).

h The manual was written at a time when XBoard did not have a settings
h file at all, and all options were volatile. The settings file was
h something that was ported from WinBoard.  That makes the manual a bit
h obsolete in some places. I can't work on the code and the manual at
h the same time, and working on the code is already close to 1.5
h full-time jobs. So the best strategy seemed to be to just give up on
h the manual.

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.

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


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2013-01-01 Thread Ian Zimmerman
On Sat, 29 Sep 2012 20:18:15 +0200
h.g. muller h.g.mul...@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.


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2012-06-17 Thread Vincent Legout
forwarded 677313 https://savannah.gnu.org/bugs/?36673
thanks

Hi,

Ian Zimmerman i...@buug.org writes:

 Quite annoyingly, xboard seems to ignore this option when it is given in
 a configuration file (doesn't matter if the top level one or one
 included with -settingsFile), and to always force a classic time
 control on startup.  This can be changed interactively with the GUI but
 is not saved to the configuration file.

Thanks, I've forwarded it upstream.

Vincent



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



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

2012-06-13 Thread Ian Zimmerman
Package: xboard
Version: 4.6.2-1
Severity: normal

Quite annoyingly, xboard seems to ignore this option when it is given in
a configuration file (doesn't matter if the top level one or one
included with -settingsFile), and to always force a classic time
control on startup.  This can be changed interactively with the GUI but
is not saved to the configuration file.

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)

Kernel: Linux 3.3.8-custom (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages xboard depends on:
ii  dpkg  1.16.3
ii  install-info  4.13a.dfsg.1-10
ii  libc6 2.13-33
ii  libice6   2:1.0.8-2
ii  libsm62:1.2.1-2
ii  libx11-6  2:1.4.99.901-2
ii  libxaw7   2:1.0.10-2
ii  libxmu6   2:1.1.1-1
ii  libxpm4   1:3.5.10-1
ii  libxt61:1.1.3-1

Versions of packages xboard recommends:
ii  fairymax   none
ii  xfonts-100dpi  1:1.0.3
ii  xfonts-75dpi   1:1.0.3

Versions of packages xboard suggests:
ii  rxvt-unicode [x-terminal-emulator]  9.15-1

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org