redir_file - Redirect the Standard Input to the specified file
redir_file | File |
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.
csh(1), tcsh(1)