Linux edit text file in terminal