| header - Echo the input stream up to the first empty line |
header - Echo the input stream up to the first empty line (usual end-of-header marker)
body - Skip everything in the input stream up the the first empty line (usual end-of-header marker) and echo the rest
header FILE [FILE [FILE [...]]]
header < FILE
body FILE [FILE [FILE [...]]]
body < FILE
| header - Echo the input stream up to the first empty line |