Edit text file in terminal