[linux] How to copy the first few lines of a giant file, and add a line of text at the end of it using some Linux commands?