Como posso alterar as configurações no Crafty (mecanismo de xadrez)

0

Eu uso o xboard como uma GUI para o Crafty, sendo o Crafty um mecanismo de xadrez de última geração que eu não quero usar mais nada, mas inunda meu diretório home com arquivos game.nnn e log.nnn. Eu gostaria de alterar as configurações e ter o Crafty para salvar esses arquivos em uma "Pasta1" em vez do meu diretório pessoal.

    
por Helio 16.11.2012 / 08:07

2 respostas

1

Você pode começar com o parâmetro log off . Os parâmetros podem ser colocados no arquivo crafty.rc ou usados como parâmetros de inicialização do terminal. Os arquivos que você vê criados são criados pelo parâmetro log . Por padrão, isso é definido como on . Existe uma lista alfabética de todas as opções aqui . Não parece que você não pode colocar esses arquivos de log em outro lugar.

O parâmetro mais importante para esses arquivos de log. {nnn} é:

% bl0ck_qu0te%

Este comando é usado para desabilitar o registro. O padrão é log on, o que faz com que o Crafty produza um novo arquivo log.nnn para cada jogo jogado. Se você estiver executando o Crafty em um servidor, você pode usar log off, que desativa a criação desses arquivos, bem como os arquivos game.nnn usados para reiniciar um jogo depois que você sair do Crafty e voltar mais tarde. Se você usar o formulário log n Crafty simplesmente exibirá as últimas n linhas do log na tela. Se você usar o arquivo log n, o Crafty irá copiar as últimas n linhas do log para o arquivo que pode ser seu disco rígido ou um disquete.

Note que se você correr com o logoff, você não conseguirá descobrir o que o Crafty estava pensando, já que não há outro registro do jogo. Você sempre verá um jogo.001 porque, como o Crafty faz um jogo, ele contém todos os movimentos reais jogados até agora, para que você possa fazer o backup, se necessário. você também verá um arquivo log.001, mas estará vazio.

Alternativa: crie um script que mova todos os arquivos de log para o seu diretório antes de iniciar o crafty ou quando o crafty parar. Dessa forma você tem em sua pasta em massa e você pode manter o login.

    
por Rinzwind 16.11.2012 / 09:10
1

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

Então, você pode definir CRAFTY_LOG_DIR no seu ~/.bashrc . Eu colocaria os crafty logs em $HOME/var/log/crafty e configuraria adicionando o seguinte a ~/.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/"

Para evitar o preenchimento de $HOME/var/log/crafty/ com arquivos de log, configure "Log Rotation". Leia man logrotate e man logrotate.conf .

    
por Crafty user 17.07.2017 / 18:38