Time sends output to stderr, I think.  In Z-shell, you'd do |& to pipe from 
stderr to a program.  I don't recall how to do it in bash... 2| ?


At 09:49 PM 12/15/2000 +0000, you wrote:
>Here is an example of what I want to do:
>
>Say I would like to print the time it takes to list the contents of /dev
>printing only the line real     0m2.546s.
>
>time ls | grep -h real
>
>this outputs nothing, b/c grep only searchs the output of ls, not the
>output of time.
>
>let me know if you gots a nifty sol'n.  I am sure it is very simple.
>
>Thanks.
>
>Shea Martin
>~~~~~~~~~~~
>Duke of Silton
>         &
>Earl of S'toon
>###########
>
>_______________________________________________
>Stormlinux-users-list mailing list
>[EMAIL PROTECTED]
>http://www.stormix.com/community/lists/listinfo/stormlinux-users-list


_______________________________________________
Stormlinux-users-list mailing list
[EMAIL PROTECTED]
http://www.stormix.com/community/lists/listinfo/stormlinux-users-list

Reply via email to