Bob Proulx wrote:
Hmm... Basic command line shell operation is not a trick. Input and
output file redirection is a fundamental operation of the command
line shell. Most users learn that '>' redirects the output of a
command to the file very early in their use of it.
Right. Now I have many g
All right so I tried implementing my wish myself, but it was complicated
by the fact that the program previously used to_stdout both:
1. to set the output file to stdout and
2. to stop unlinking the input files.
Now I had to separate the two functionalities and also remember to set
keep_input_f
