Remote file editing

From Earlham CS Department
Revision as of 11:59, 26 August 2019 by Craigje (talk | contribs)
Jump to navigation Jump to search

It's often good to be able to edit files remotely in an editor. This is much superior (for advanced projects) to Jupyter Notebooks for most purposes. Here are some instructions as to how.

At the terminal

Use vi, vim, nano, or some other editor at the terminal for editing if you want simplicity and do a lot of admin work.

Other editors

Generally, a text editor will have either a built-in feature or an extension that supports adding SFTP (secure FTP) servers. You'll want to add tools, hopper, or both to your editor.


  • Install the FTP-remote extension.
  • Set your password.
  • Add your servers.
  • Use the SSH port (22) and your ssh key or password.
  • You can right-click > Edit Servers at any time to add, remove, or change servers.

These should also work but are not yet documented: