https://blog.crboy.net/posts/change-debian-ubuntu-default-editor/