personal computing

I was going to add that to my .bashrc and noticed:

# User specific environment
if ! [[ "$PATH" =~ "$HOME/.local/bin:$HOME/bin:" ]]
then
    PATH="$HOME/.local/bin:$HOME/bin:$PATH"
fi
export PATH

So I moved .bin to .local/bin, which is fine with me. I’ll need to keep this in mind, depending on my environment…