[Gllug] bash startup

[David Damerell]

On , 2 Nov 2001, Nix wrote:
>On Thu, 01 Nov 2001, tet at accucard.com spake:
>>>bash-2.05$ cat /etc/passwd | grep bash
>>FYI, you can do this with less typing:
>>	grep bash /etc/passwd
>>Laziness is the one defining characteristic of a good Unix admin :-)
>Quite so.
>I'd venture to state that with the existence of input redirection and so
>forth, *any* use of cat that isn't for catenation of files is a mistake
>(albeit not a very harmful one).

Mmmm. As I'm sure you know (but others may not), even if the next
thing in the pipe doesn't take filenames as arguments, all uses of the
form;

cat file | command

can be replaced with;

< file | command

like so.

-- 
David Damerell <damerell at chiark.greenend.org.uk> flcl?

-- 
Gllug mailing list  -  Gllug at linux.co.uk
http://list.ftech.net/mailman/listinfo/gllug