redir_file(1)

NAME

redir_file - Redirect the Standard Input to the specified file

SYNOPSIS

redir_file  File

DESCRIPTION

The script redir_file redirects the Standard Input to the specified file. First the Standard Input is redirected to a new version of the specified file. When the redirection was successful, the old file is moved to a backup name. After this the new version is moved to the originally specified file.

This script is typically used to redirect the Standard Input at a remote host. It is a csh(1) shell script. This implies that (t)csh(1) users can define their environment at the remote host with the resource file $HOME/.cshrc.

SEE ALSO

csh(1), tcsh(1)