Difference between revisions of "Remote file editing"
Jump to navigation
Jump to search
m (→At the terminal) |
m |
||
| Line 1: | Line 1: | ||
| − | It's often good to be able to edit files remotely in an editor. Here are some instructions as to how. | + | 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 = | = At the terminal = | ||
| Line 9: | Line 9: | ||
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. | 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. | ||
| − | Atom | + | [https://atom.io/ Atom] |
* Install the FTP-remote extension. | * Install the FTP-remote extension. | ||
* Set your password. | * Set your password. | ||
| Line 18: | Line 18: | ||
These should also work but are not yet documented: | These should also work but are not yet documented: | ||
| − | * Sublime | + | * [https://www.sublimetext.com/ Sublime] |
* TextWrangler | * TextWrangler | ||
| − | * Notepad++ | + | * [https://notepad-plus-plus.org/ Notepad++] |
Revision as of 12:59, 26 August 2019
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:
