install instructions for .bashrc.user.sh