For a few days now, I’ve been working on a wordpress based website where I have to edit quite a few files directly on the server. I used wordpress’ theme and plugin editors for the first day, but it soon became too difficult to edit the files that way and I had to look for [...]