On Fri, May 30, 2008 at 2:33 PM, Shachar Shemesh <[EMAIL PROTECTED]> wrote: > If you run "exec" without giving it a parameter, it will not execute > anything, but the redirection will take effect. > > "exec < /dev/null >output 2>&1" will do what you want.
Fantastic! Thanks to you and Yedidyah for the friendly reminder. --Amos ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
