agda-mode to bashrc