On 2016-09-16, Greg Wooledge <wool...@eeg.ccf.org> wrote:
> On Fri, Sep 16, 2016 at 10:01:39AM -0400, Tony Baldwin wrote:
>> The other problem is trying to permanently add $HOME/bin to the $PATH.
>> I have in .bash_profile
>> export PATH
>> But every time I boot I have to manually add it again.
> This is probably because you are logging in with a display manager
> instead of ssh or a Linux console. The display managers do not launch
> a login shell, so your login shell configuration files are never read.
> (This is why I never use a display manager. Well, one of the reasons.)
> You need to identify which display manager you're using, and then try
> to figure out how to configure it as a user. Good luck. I've found
> that most of them have absolutely ZERO documentation about this.
gdm sources the login scripts, whereas lightdm does not. In the latter
case, do the necessary PATH munging in ~/.xsessionrc.