Advertisement
Guest User

Untitled

a guest
Jun 16th, 2019
82
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. # Add those lines to ~/.bashrc
  2.  
  3. display_git_branch() {
  4. git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
  5. }
  6.  
  7. # Keep terminal's default colors and display branch name in LIGHT_RED
  8. export PS1="\[\033[01;32m\]\u@\h:\[\033[01;34m\]\w\[\033[01;31m\] \$(display_git_branch)\[\033[00m\]\$ "
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement