[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] What does 'groff <<<foo' do?
From: |
Tadziu Hoffmann |
Subject: |
Re: [Groff] What does 'groff <<<foo' do? |
Date: |
Mon, 3 Dec 2012 16:12:25 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
> 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
Hey, that's cool! I'd never even thought about it.
So with regard to "proper" left-to-right order we can say
<input command >output