########################################################################
## This file is a sample configuration file for the rech script.      ##
## RENAME IT TO 'rech.conf' IF YOU DECIDE TO USE IT                   ##
########################################################################

# Author: Ivan Kurmanov <ivan@tm.minsk.by>, 1997-99
#
# This file contains some general variable settings for rech script.
# By default script looks for this file at:
#
#	REDIFHOME/conf/rech.conf
# or    REDIFHOME/etc/rech.conf
#
# where REDIFHOME is your ReDIF home directory.
#
# But you can override this by "--conf <config_filename>" command line option.
#

# Minimum level of messages to show to you
# 1 - messages (debugging?)
# 2 - warnings [default]
# 3 - errors
# 4 - fatal errors
# 5 - internal errors
#
# Please, use values 2 and 3 here. Otherwise output/behaviour of the script
# may be inappropriate for real checking.
#
# This variable can also be set by a command line option "-m <number>".

$MinShowMessage = 3;


# Execute a command on file with errors
#  %l - will be changed to the name of the temporary file with list of errors
#  %f - will be changed to the name of the file being checked
#
# This can be temporarily switched off by -ne command line option.
#
# NOTE: If you whant to check some new set of data (data, never checked
# before, where a plenty of mistakes are possible) it could be a good idea
# to switch it off.
#

# $ExecOnError = " emacs %f %l ";


# Want rech to check some specific directory by default? Specify it 
# in the following variable.
#
# You can also give a directory or filenames to be checked as a command line
# parameter.
#

# $CheckDirectory = "";


# Show templates & attributes & messages statistics after all the checks?
#
# Off, by default.
# You can always turn on statistics by -s command line option.

# $ShowStatistics = 1;


# Temporary file, into which errors info would be written. Only used
# and is required with $ExecOnError variable. 
#

$TempFile = "/tmp/var/rech.log" ;

$CONF::tmp = "/tmp";


# The end. To get help on all command line options run
# script with -h, i.e. "rech -h".
#

1;

