Remote file editing
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.
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: