Aleksey Cheusov wrote: > > reading from a pipe is much slower than reading from a regular file. > 0 ~>time cat file.tmp | cat >/dev/null I was clearly talking about the 'read' shell-builtin and nothing else. -- Christian