diff options
| -rw-r--r-- | themes/bureau.zsh-theme | 6 | 
1 files changed, 6 insertions, 0 deletions
diff --git a/themes/bureau.zsh-theme b/themes/bureau.zsh-theme index 698aa2ff8..9943a0c8c 100644 --- a/themes/bureau.zsh-theme +++ b/themes/bureau.zsh-theme @@ -67,6 +67,12 @@ bureau_git_status() {  }  bureau_git_prompt() { +  # ignore non git folders and hidden repos (adapted from lib/git.zsh) +  if ! command git rev-parse --git-dir &> /dev/null \ +     || [[ "$(command git config --get oh-my-zsh.hide-info 2>/dev/null)" == 1 ]]; then +    return +  fi +    # check git information    local gitinfo=$(bureau_git_info)    if [[ -z "$gitinfo" ]]; then  | 
