> 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
