zsh/zshrc.d/040_prompt: add a more portable source checker

`$HOME` went from `/Users/jlamb` to `/home/jlamb`.
jonnylamb · Jan 25, 2019 · ca02057 · ca02057
1 parent bb4b23f
commit ca02057
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/zsh/zshrc.d/040_prompt b/zsh/zshrc.d/040_prompt
@@ -85,7 +85,8 @@ prompt_context() {
 
 _is_expensive_repo() {
   toplevel=$(git rev-parse --show-toplevel 2>/dev/null)
-  test "$toplevel" = "/Users/jlamb/workspace/source"
+  # ugly but fast, hoepfully?
+  echo $toplevel | grep "/source$" >/dev/null
 }
 
 # fast and super ugly git command(s)