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

От «man many»:

   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.