Skip to content

Instantly share code, notes, and snippets.

@ERPedersen

ERPedersen/.bash_profile

Created October 18, 2019 07:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ERPedersen/aa74ce104f2d881af056c5cf3a3c065c to your computer and use it in GitHub Desktop.
Save ERPedersen/aa74ce104f2d881af056c5cf3a3c065c to your computer and use it in GitHub Desktop.
Download ZIP
Add current git branch to terminal
Raw
.bash_profile
# Adds git branch to PS1 output
git_branch() {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/ (\1)/'
}
export PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\$ "
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment