• Use ex to remove the first line of a file: