[geeks] Way to do this in AWK?

[Mike Meredith]

On Thursday 20 June 2002 19:56, William S. wrote:
> I came up with this in sed. Just wondering how it
> would be done in AWK. Generally what I want it to
> do is take a file and prepend it to another file,
> then trim the file to 15 lines.

No awk answer for you, but out of curiosity why isn't head suitable ?