> But only if you start a second login shell, and you shouldn't be doing that.

Sadly I don't have to do that. RedHat in their infinite wisdom run the
scripts in /etc/profile.d from /etc/bashrc if they haven't already been
run by /etc/profile. I presume they have at least a plausible reason,
since it's a sin of comission rather than of omission!

-- 
http://www.mupsych.org/~rrt/
Reality is what refuses to disappear when you stop believing in it (Dick)


_______________________________________________
Bug-lilypond mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-lilypond

Reply via email to