bash 'time' function

Marc Heerdink marc at koelkast.net
Thu Dec 20 17:37:23 PST 2001


On Fri, 21 Dec 2001 01:40:04 +0100
"R. Bosch" <remy.bosch at hccnet.nl> babbled:

> Sorry for beaking in, but  I got a problem with grepping the output of
> time. When I try # time sleep 3s | grep system # I get the normal output
> from time with 'all' times.
> Can someone tell me how to control the output of the time command!

# is treated as a start-of-comment-sign. Try \# :)

> 
> Thanks!
> 
> 
> 
> Remy
> 
> ---------------------------------
> > Proud to be Micro$oft free !!!
> > What's to learn from an OS that
> > does everything for you ?
> ---------------------------------


-- 
There is no programming language, no matter how structured,
that will prevent programmers from writing bad programs.
- L. Flon

Marc Heerdink
marc at koelkast.net
http://www.koelkast.net/
-- 
Unsubscribe: send email to listar at linuxfromscratch.org
and put 'unsubscribe blfs-support' in the subject header of the message



More information about the blfs-support mailing list