[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] What does 'groff <<<foo' do?
From: |
Mike Bianchi |
Subject: |
Re: [Groff] What does 'groff <<<foo' do? |
Date: |
Mon, 3 Dec 2012 10:02:31 -0500 |
User-agent: |
Mutt/1.5.17+20080114 (2008-01-14) |
On Mon, Dec 03, 2012 at 12:46:16PM +0000, Ralph Corderoy wrote:
> :
> I take the point on it not having left to right order but neither has
> bar <foo
> compared to
> cat foo | bar
> but we rightly shun the latter. Having used <<< for some years, I'm
> just as happy reading `command, its options, then how its I/O is set'
> whether it's <, <<, or <<<.
Actually all shells that I know of don't specify that redirection take place at
the end of the command line. Witness:
$ <<<$HOME cat
/home/mbianchi
$ <<<$HOME >/tmp/i cat
$ cat /tmp/i
/home/mbianchi
--
Mike Bianchi
Foveal Systems
973 822-2085
address@hidden
http://www.AutoAuditorium.com
http://www.FovealMounts.com