9 Best Text Editors for the Linux Command Line