Fixups to bash_profile
Add git-completion bash function