feat(bureau): ignore hidden git repos (#11707)

The git_prompt_info() function in lib/git.zsh ignores git repos which contains a specific config key, allowing to effectively "hide" them from the prompt. Unfortunately, the bureau theme doesn't use the library function to build its prompt. This commit modifies the specific prompt generation function in the bureau theme in order to achieve the same behaviour.

feat(bureau): ignore hidden git repos (#11707)
444e7157 · rogarb · GitHub · b06663df · 444e7157
Unverified Commit 444e7157 authored May 22, 2023 by rogarb Committed by GitHub May 22, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

bureau.zsh-theme themes/bureau.zsh-theme +6 -0

No files found.
--- 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