@Zanna Hopefully. So, the specific problem with
that post is that it does not correctly describe when
PS1
is reset. I thought, wrongly, that Bash shells (besides subshells) always reset
PS1
, but there are actually circumstances where they do not. Specifically, non-interactive Bash shells
always unset it when they start up, and they do so before any startup scripts run. So I was right about
that part, but...