On Thu, May 14, 2026 at 08:35:41AM +0200, Brieuc Desoutter wrote: > Yes that is correct: > > case 1: if $HOME/.profile is a regular file in $HOME, then $HOME/bin and > $HOME/.local/bin are in PATH as expected. > > case 2: If $HOME/.profile is a symlink to $HOME/Setup/shell/.profile (with > same content as in case 1), then $HOME/bin and $HOME/.local/bin are NOT in > PATH as expected
Hm. Some things I'd check now: - do you have any of ~/.bash_profile or ~/.bash_login? - you might start a shell with "bash -lv" (the "l" is for a login shell, the "v" for verbose: it'll echo all the commands it reads) - make sure all the components of $HOME/Setup/shell/.profile are readable to your shell (I guess yo've checked that at least 15 times...) Cheers -- t
signature.asc
Description: PGP signature
