> I always set time management to x seconds per move. > Then I click on save settings. > But after an xboard restart the settings are reset to the defaults.
Indeed, -searchTime is described as a volatile option. So it is not stored in the settings file. Because engines do perform very inefficiently under this time -control type, its use is not really recommended. This is not a bug, but a case where "works as designed" does not coincide with "works as desired" (by this particular user). Note that anyone can change the XBoard defaults by adding the options to specify the default settings he desires at the end of the /etc/xboard.conf master-settings file. _______________________________________________ Bug-XBoard mailing list Bug-XBoard@gnu.org https://lists.gnu.org/mailman/listinfo/bug-xboard