Comment 3 for bug 50485

Daniel, no the problem hasn't been solved. It is intermittent, so I know how it's supposed to behave, but that is not always the case. Also, it may be that it's my .bash_profile that's not being sourced, since it is that file which sources my .bashrc. If I can get the problem to repeat, I'll post more details.