Read about using the vi editor from the Linux terminal to edit a file