An urgent alternative to edit a file in Heroku:
- place a copy of it on some remote host. I like to use Gist
- edit the file on Gist and when finished get the raw URL to it
wget the raw URL on your Heroku bash
- copy the fetched file to the path of original file