perf: codespaces

2025-12-23 22:22:20 +02:00
parent 7b5e4e12d2
commit ab936390dd
13 changed files with 37 additions and 1 deletions
--- a/script/install.d/50-redis.sh
+++ b/script/install.d/50-redis.sh
@@ -5,6 +5,9 @@
 #   Install Redis.
 #

+# Skip in Codespaces (project-specific tool)
+[[ "$DOTS_ENV" == "codespaces" ]] && { log_pass "Skipping in Codespaces"; return 0; }
+
 if ! command -v redis-cli &>/dev/null; then
    case "$DOTS_PKG" in
        apt)