bashrc: export EDITOR