Chuck Robey wrote:
For along time, used only tcsh, under the mistaken belief that you couldn't redirect stderr for piping, under a sh-like shell, but about 6 months ago, I found out how to do that. If you would rather use a sh-like shell (maybe you'd be one of the bash-aficionados?) tell me, I will hunt up that trick.
Under Bourne-style shells:
make 2>&1 | tee /tmp/makeout
TIMTOWTDI. Under any shell:
script /tmp/makeout make
Cheers,
Matthew
--
Dr Matthew J Seaman MA, D.Phil. 7 Priory Courtyard
Flat 3
PGP: http://www.infracaninophile.co.uk/pgpkey Ramsgate
Kent, CT11 9PW
signature.asc
Description: OpenPGP digital signature
