Guh. Seb, I was hoping to have it stay this way. This was the lowest- footprint way of getting all display managers to set it.
I wonder how widespread use of BASE_STARTUP is and whether it's a good idea... I'll look at this. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/816086 Title: gnome-session 3.1.3-0ubuntu5 fails to source ~/.gnomerc To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-session/+bug/816086/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
