Modify bashrc to source git_ps1 for Debian systems