This page has moved to a new address.

How to edit a remote file over ssh