diff options
author | Leonid Volnitsky <Leonid@Volnitsky.com> | 2009-10-07 16:57:48 +0300 |
---|---|---|
committer | Leonid Volnitsky <Leonid@Volnitsky.com> | 2009-10-07 16:57:48 +0300 |
commit | f731eefc79c8812b3c0a70444c477c33eb820180 (patch) | |
tree | 05ffd447c490cf1cee97ea600e04bdba66aa01f5 /git-prompt.conf | |
parent | added vcs_dir_ignore_list (diff) | |
download | git-prompt-f731eefc79c8812b3c0a70444c477c33eb820180.tar.gz git-prompt-f731eefc79c8812b3c0a70444c477c33eb820180.tar.bz2 git-prompt-f731eefc79c8812b3c0a70444c477c33eb820180.zip |
added git locked state
Diffstat (limited to 'git-prompt.conf')
-rw-r--r-- | git-prompt.conf | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/git-prompt.conf b/git-prompt.conf index 33cef6e..c4706c9 100644 --- a/git-prompt.conf +++ b/git-prompt.conf @@ -38,8 +38,9 @@ # upcase_hostname=on # =off # Do not do VCS parsing for listed directories -# usefull if directories are almost always dirty (home, /etc) or too big (linux src) -## vcs_ignore_dir_list=" /etc $HOME /usr/src/git-linux " +# useful for directories for which it is difficult to maintain .gitignore so +# they are always dirty (ex: home, /etc) or directory with huge repo (ex: linux src) +## vcs_ignore_dir_list=" /etc $HOME /usr/src/linux.git " ########################################################### COLOR |