groff
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]