Sometimes it is needed to append several files to a file. That's the way to do this on a UNIX/BSD/Linux host:
user % cat file2 file3 >> file1
Sometimes it is needed to append several files to a file. That's the way to do this on a UNIX/BSD/Linux host: