bash: export EDITOR