diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/git-prompt.completion | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/git-prompt.completion b/debian/git-prompt.completion new file mode 100644 index 0000000..8b5852a --- /dev/null +++ b/debian/git-prompt.completion @@ -0,0 +1,11 @@ +# In git versions < 1.7.12, this shell library was part of the +# git completion script. +# +# Some users rely on the __git_ps1 function becoming available +# when bash-completion is loaded. Continue to load this library +# at bash-completion startup for now, to ease the transition to a +# world order where the prompt function is requested separately. +# +if [[ -e /usr/lib/git-core/git-sh-prompt ]]; then + . /usr/lib/git-core/git-sh-prompt +fi |