Comment 2 for bug 134378

Thank you for taking the time to answer this issue. Examining the answer you have given me, this does not appear to resolve the issue, though...

I assume you refer to the following in https://help.ubuntu.com/community/EnvironmentVariables:

"In order to set environment variables in a way that effects a user's entire desktop session, one may place commands to set their values in one of the "hidden" script files in the user's home directory. The more common such files are outlined below.

      ~/.profile - This is probably the best file for placing environment variable assignments in, since it gets executed automatically by the DisplayManager during the startup process desktop session as well as by the login shell when one logs-in from the textual console. "

This would indeed resolve this issue, if only it were true. gdm does not, in fact, execute ~/.profile.

Since this differs from expected and documented behaviour, I am reopening this bug and assigning it to gdm.

Thanks.