EDITOR in bashrc-extra