# Update the bash PS1 to include git details
cat .devcontainer/bash_prompt.sh >> $HOME/.bashrc