diff options
author | Hugues Hiegel <hugues@hiegel.fr> | 2010-08-18 12:02:31 +0200 |
---|---|---|
committer | Hugues Hiegel <hugues@hiegel.fr> | 2010-08-18 12:02:31 +0200 |
commit | d2ff177aea43182c37ea6e049c8fc61f231d809b (patch) | |
tree | 09677f6bd14927a00938adeb4ad06849e57d5c4d | |
parent | 117459dee3149d32baeaae98cbbf9af428ef4836 (diff) | |
parent | 54213d336782b55c73eac2eae78f27ea87bb2656 (diff) |
Merge remote branch 'origin/master'
-rw-r--r-- | 01_Functions.zsh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/01_Functions.zsh b/01_Functions.zsh index 5d4f16b..f6c99bf 100644 --- a/01_Functions.zsh +++ b/01_Functions.zsh @@ -191,6 +191,12 @@ get_git_status () then return fi + if [ -f ".repo/manifests.git/config" ] + then + echo "$git_colors[up_to_date]"; + return + fi + if [ "$(git-rev-parse --is-inside-git-dir)" = "true" -o "$(git-config --get core.bare)" = "true" ] ; then echo "$git_colors[managment_folder]" return |