Copy/Paste part of a file into another file using Terminal (or Shell) Copy/Paste part of a file into another file using Terminal (or Shell) shell shell