> 'cat <<<foo' or 'cat <<< foo' seems to be a way of passing
> what follows the "<<<" directly to the command, as if equivalent
> to "echo foo | cat".

Yes.  It's documented in the bash man page under "Here Strings".  I just
learned about it from Ralph's email myself.  It's a great shortcut.

Reply via email to