Any reason why yould have it in .bash_local over .bashrc? I use zsh but even when I used bash or fish, I’d add to my $PATH via .bashrc and config.fish respectively.