# -*-shell-script-*-
# JLdL 20May04.
#
# Set up the variables that control the behavior of the shell.
#
# Avoid overwriting files by output redirection.
set noclobber
#
# Set a flashy prompt, including the host, the directory and
# _ a ROOT flag. Use the new type of prompt, with color.
if ( $?prompt ) then
    set prompt = "%{^[[1;33m%}%b%m_ROOT:%{^[[0m%}%/# "
endif
#
# Notify about the ending of backgroung jobs.
set notify
#
# Set an ample, persistent and non-repetitive history mechanism.
if ( $?prompt ) then
    set histdup  = prev	# Prevent repeated consecutive history entries.
    set history  = 1000	# Set history length.
    set savehist = 1000	# Set history save length.
endif
#
# Turn on a few useful shell properties.
set autocorrect		# Turn on automatic spell checking.
set correct = cmd	# Spell-check only the command names.
set autolist		# Turn on automatic listing of completions.
#
# Turn off dump file generation.
limit coredumpsize 0
