diff --git a/bashrc.local.example b/bashrc.local.example index 32c34e968e248d849ef4c42ded9511a6c5a16040..125d26e11823f631e278a02ed89f84a0c941896f 100644 --- a/bashrc.local.example +++ b/bashrc.local.example @@ -4,13 +4,13 @@ if [ -f ~/.git-completion.bash ]; then fi # Enable Git prompt -# This may cause slowdown in shared filesystems with slow IO -#if [ -f ~/.git-prompt.sh ]; then +# This may cause slowdown on filesystems with slow IO +if [ -f ~/.git-prompt.sh ]; then # GIT_PS1_SHOWDIRTYSTATE=yes # GIT_PS1_SHOWCOLORHINTS=yes # GIT_PS1_HIDE_IF_PWD_IGNORED=yes -# source ~/.git-prompt.sh -#fi + source ~/.git-prompt.sh +fi PROMPT_COMMAND='__git_ps1 "${debian_chroot:+($debian_chroot)}\h:\[\033[38;5;25m\][\w]\[\033[00m\]" " \$ " " {%s}"'