On Thu, May 14, 2026 at 12:06:10PM +0200, Brieuc Desoutter wrote: > Solved! > > So bash -lv was a good tip: it showed my file was sourced but I guarded > some PATH updates within if: > if [[ -d "$HOME/bin" ]] ; then > PATH="$HOME/bin:$PATH" > fi > > I do not know which program, bash or sh, or even if they are equivalent, > but replace [[ by [ does the trick...
/bin/sh doesn't know [[. That's bash dialect (/bin/sh is in Debian usually dash. But it also might be a bash pretending to be something else (when, e.g., invoked under the name "sh"). An "ls -l /bin/sh" will lift that mystery for you :-) Cheers -- t
signature.asc
Description: PGP signature
