Play nicer on codespaces

lildude · Aug 17, 2021 · d81b94f · d81b94f
1 parent 0aabf88
commit d81b94f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/runcoms/p10k-lean.zsh b/runcoms/p10k-lean.zsh
@@ -385,9 +385,11 @@
     local res
     # CNS: Show an icon based on my configured user
     typeset usericon='\uf415 ' #  from Nerd Font patched font
-    #local username=$(git config user.email) # Too slow.
-    #[[ "$username" =~ "@github.com" ]] && usericon='\uf113 ' #   from Nerd Font patched font
     [[ "$(pwd)" =~ "github/" ]] && usericon='\uf113 ' #   from Nerd Font patched font
+    if [ -n "$CODESPACES" ]; then
+      local username=$(git config user.email) # Too slow for local but quite quick on codespaces.
+      [[ "$username" =~ "@github.com" ]] && usericon='\uf113 ' #   from Nerd Font patched font
+    fi
     res+="${blue}${(g::)usericon}"
 
     if [[ -n $VCS_STATUS_LOCAL_BRANCH ]]; then