On Sun, Jul 8, 2018 at 11:42 PM Grant Taylor via COFF <coff@minnie.tuhs.org> wrote:

[snip]
The double << is different than what I would expect. I wonder if that's
specific to the shell or appending to the input after the file?

Actually, that was just a typo; it should have been a single '<'.

The '<<' (double less-than) is how you would introduce a 'here' document, as Ted did in his example.

- Dan C.