1. 19 Jul, 2023 3 commits
  2. 15 Jul, 2023 1 commit
  3. 30 Jun, 2023 1 commit
  4. 29 Jun, 2023 3 commits
  5. 26 Jun, 2023 3 commits
  6. 20 Jun, 2023 4 commits
  7. 19 Jun, 2023 1 commit
  8. 17 Jun, 2023 1 commit
  9. 16 Jun, 2023 1 commit
  10. 15 Jun, 2023 4 commits
  11. 11 Jun, 2023 1 commit
  12. 08 Jun, 2023 1 commit
  13. 07 Jun, 2023 1 commit
  14. 05 Jun, 2023 4 commits
  15. 02 Jun, 2023 1 commit
  16. 31 May, 2023 1 commit
  17. 26 May, 2023 1 commit
  18. 25 May, 2023 1 commit
  19. 24 May, 2023 1 commit
  20. 23 May, 2023 2 commits
  21. 22 May, 2023 1 commit
    • rogarb's avatar
      feat(bureau): ignore hidden git repos (#11707) · 444e7157
      rogarb authored
      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.
      444e7157
  22. 21 May, 2023 3 commits