compatibility issue in environment-modules version 4.1.1-1

[Gunnar Hjalmarsson]

On 2019-05-04 15:49, Josefsson-Ljungdahl wrote:
> I do not know if Ubuntu sources /etc/profile during graphical login but
> Mint does.

Ubuntu does that as well, at least when GDM or LightDM is used. Maybe 
worth mentioning that the scripts in the Ubuntu versions of those DMs 
are run as bash processes. (That was changed a few years ago; previously 
they were run as dash processes.)

-- 
Gunnar Hjalmarsson
https://launchpad.net/~gunnarhj