Как я могу изменить настройки в Crafty (шахматный движок)

Вы можете начать хитроумно с помощью параметра log off. Параметры могут быть помещены в файл crafty.rc или использованы в качестве параметров запуска из терминала. Созданные вами файлы создаются параметром log. По умолчанию установлено значение on. Здесь представлен алфавитный список всех опций . Это не похоже, что вы не можете поместить эти файлы журнала в другом месте.

Наиболее важным параметром для этих файлов журнала. {Nnn} является:

log | | on | {n}

Эта команда используется для отключения регистрации. По умолчанию используется вход в систему, в результате чего Crafty создает новый файл log.nnn для каждой сыгранной игры. Если вы запускаете Crafty на сервере, вы можете использовать выход из системы, что отключает создание этих файлов, а также файлов game.nnn, используемых для перезапуска игры после выхода из Crafty и возврата позже. Если вы используете форму log n, Crafty просто отобразит на экране последние n строк журнала. Если вы используете log n file, Crafty скопирует последние n строк журнала в файл, который может быть вашим жестким диском или дискетой.

Обратите внимание, что если вы бегите с выходом из системы, вы не сможете узнать, о чем думал Крафти, так как нет других записей об игре. Вы всегда будете видеть игру.001, потому что, когда Крафти играет в игру, она содержит все реальные ходы, сыгранные до сих пор, так что вы можете выполнить резервное копирование в случае необходимости. вы также увидите файл log.001, но он будет пустым.

---

Альтернатива: создайте скрипт, который перемещает все файлы журналов в ваш каталог перед тем, как начать хитро или когда хитро остановится. Таким образом, у вас будет массовая папка, и вы сможете продолжать входить в нее.

От "man crafty":

   Logging
       When  a game is played, Crafty normally writes "logpath/game.<nnn>" and
       "logpath/log.<nnn>". Details of what is written are modifiable  by  the
       `log'  command. Because $CRAFTY_LOG_DIR defaults to "./" (the directory
       in which Crafty is launched), trouble  can  occur  if  the  program  is
       launched  in a directory to which it is unable to write.  Note that the
       "log.<nnn>" file normally contains all output that would be visible  if
       Crafty  were run from the command line but is usually hidden when it is
       run from a GUI.

Итак, вы можете определить CRAFTY_LOG_DIR в вашем ~/.bashrc. Я поместил бы журналы crafty в $HOME/var/log/crafty и настроил их, добавив следующее в ~/.bashrc:

[[ -d $HOME/var ]] || mkdir -m 0700 $HOME/var
[[ -d $HOME/var/log ]] || mkdir -m 0700 $HOME/var/log
[[ -d $HOME/var/log/crafty ]] || mkdir -m 0700 $HOME/var/log/crafty
export CRAFTY_LOG_DIR="$HOME/var/log/crafty/"

Чтобы избежать заполнения $HOME/var/log/crafty/ файлами журналов, настройте «Журнал» Вращение». Прочитайте man logrotate и man logrotate.conf.