Edit text file in terminal raspberry pi