> On 23 Feb 2019, at 09:49, Kevin Barry <[email protected]> wrote: > > Where are you setting EDITOR to gvim? Is it possible that you have set it > somewhere like bashrc or bash_profile that would be picked up by bash, but > maybe not by Gnome?
On MacOS, I have in .basrc 'source ~/.profile', because xterm is using it, whereas the MacOS version of it, called Terminal, is using .profile, the latter setting the environment variables. _______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
