cat file1 > EndResultFile && tail +20 file2 >> EndResultFile Is this adequate, or is there a better way to do it?(Sorry I'm asking a programming question on Debian-User, but you folks are sharp, and I get confused with such things as piping and redirection, etc.)
Thanks! -- Kent