[PATCH] git-prompt.sh: Option to hide prompt for ignored pwd

2014-10-14 Thread Jess Austin
. Signed-off-by: Jess Austin jess.aus...@gmail.com --- On Tue, Oct 14, 2014 at 2:08 PM, Richard Hansen rhan...@bbn.com wrote: On 2014-10-14 14:47, Johannes Sixt wrote: Ahem, no. Please do not punish users who are not interested in the new feature with two new processes every time __git_ps

[PATCH] git-prompt.sh: Hide prompt for ignored pwd

2014-10-13 Thread Jess Austin
people manage e.g. dotfiles in their home directory with git. This causes the prompt generated by __git_ps1 to refer to that top level repo while working in any descendant directory. That can be distracting, so this patch helps one shut off that noise. Signed-off-by: Jess Austin jess.aus

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 rhan...@bbn.com wrote: On 2014-10-08 17:37, Jess Austin wrote: On Wed, Oct 8, 2014 at 4:12 PM, Richard Hansen rhan...@bbn.com wrote: On 2014-10-08 15:04, Jess Austin wrote: Introduce a new environmental variable, GIT_PS1_OMITIGNORED, which tells

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

2014-10-08 Thread Jess Austin
directory with git. This causes the prompt generated by __git_ps1 to refer to that top level repo while working in any descendant directory. That can be distracting, so this patch helps one shut off that noise. Signed-off-by: Jess Austin jess.aus...@gmail.com --- contrib/completion/git-prompt.sh | 9

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 rhan...@bbn.com 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