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
mbian...@foveal.com
http://www.AutoAuditorium.com
http://www.FovealMounts.com
