Re: [PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-09 Thread Richard Hansen
On 2014-10-09 06:27, Jess Austin wrote: > On Thu, Oct 9, 2014 at 12:37 AM, Richard Hansen wrote: >> On 2014-10-08 17:37, Jess Austin wrote: >>> On Wed, Oct 8, 2014 at 4:12 PM, Richard Hansen wrote: On 2014-10-08 15:04, Jess Austin wrote: > Introduce a new environmental variable, GIT_PS1_

Re: [PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-09 Thread Jess Austin
On Thu, Oct 9, 2014 at 12:37 AM, Richard Hansen wrote: > On 2014-10-08 17:37, Jess Austin wrote: >> On Wed, Oct 8, 2014 at 4:12 PM, Richard Hansen wrote: >>> On 2014-10-08 15:04, Jess Austin wrote: Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which tells __git_ps1 to dis

Re: [PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-08 Thread Richard Hansen
On 2014-10-08 17:37, Jess Austin wrote: > On Wed, Oct 8, 2014 at 4:12 PM, Richard Hansen wrote: >> On 2014-10-08 15:04, Jess Austin wrote: >>> Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which >>> tells __git_ps1 to display nothing when the current directory is >>> set (e.g. via .

Fwd: [PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-08 Thread Jess Austin
On Wed, Oct 8, 2014 at 4:12 PM, Richard Hansen wrote: > > On 2014-10-08 15:04, Jess Austin wrote: > > Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which > > tells __git_ps1 to display nothing when the current directory is > > set (e.g. via .gitignore) to be ignored by git. In the a

Re: [PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-08 Thread Richard Hansen
On 2014-10-08 15:04, Jess Austin wrote: > Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which > tells __git_ps1 to display nothing when the current directory is > set (e.g. via .gitignore) to be ignored by git. In the absence of > GIT_PS1_OMITIGNORED this change has no effect. > > M

[PATCH] git-prompt.sh: Omit prompt for ignored directories

2014-10-08 Thread Jess Austin
Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which tells __git_ps1 to display nothing when the current directory is set (e.g. via .gitignore) to be ignored by git. In the absence of GIT_PS1_OMITIGNORED this change has no effect. Many people manage e.g. dotfiles in their home direct