open in text editor terminal linux