On Tue, Jul 07, 2020 at 10:29:47AM -0400, Greg Wooledge wrote: > On Tue, Jul 07, 2020 at 03:17:37PM +0100, Jonathan Dowland wrote: > > On Tue, Jul 07, 2020 at 04:14:16PM +0200, Nicolas George wrote: > > > cd ~/bin > > > ln -s ../opt/something/bin/something > > > > Not in the default PATH either. > > $HOME/bin is placed into the user's default PATH by Debian's ~/.profile > (the one in /etc/skel/.profile) if it exists at the time the ~/.profile > is read, if the ~/.profile is read at all. > > As I keep saying, of course, what dot files actually get read depends > on how one logs in.
That souds mildly disconcerting - when does `~/.profile` _not_ get read?
