https://medium.com/james-reads-public-cloud-technology-blog/essential-ssh-productivity-tips-e23289bbd1f7
Never tried editing a file over ssh