From: Ted Pavlic Date: Wed, 23 May 2012 17:03:02 GMT Subject: Re: [PATCH 2/2] completion: split __git_ps1 into a separate script Message-ID: In-Reply-To: >> I am not sure if that is worth it.  These two share/duplicate some shell >> functions and we may end up refactoring them (a way to do so may be to >> dot-source git-prompt from git-completion and drop duplicated definitions >> from the latter), for example. > > And how do you propose to update the install documentation? > > 1) Copy the file (e.g. ~/.git-completion.sh) > 2) Copy the other file (.e.g ~/.git-prompt.sh) > 3) Edit the original file (~/.git-completion.sh), modify the 'source' > command to use the other file (~/.git-prompt.sh) The third step doesn't seem necessary if .git-completion sources git-prompt when it's available (and otherwise ignores it gracefully). Then anyone who cares about the prompt just makes sure that git-prompt is available. -- Ted Pavlic