Peter B. West wrote:

Is your .bash_profile or .profile being executed? Is BASH_ENV set?

Is support saying that, as a matter of policy, no per-user environment
customisation is allowed for non-login non-interactive shell invocations?


Hi Peter, thanks for the advice.
We have quite a complicated setup here, to enable automatic updates or something, I'm not entirely sure (it's a research project, or was once). Anyway I got the impression from the response, that it was more of a "we haven't got time to figure out a fix for that" rather than a "this is policy decision against allowing that"

regards
allan

_______________________________________________
darcs-devel mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-devel

Reply via email to