Run with inactivity to restart stalled kpt

.devcontainer/devcontainer.json

@@ -1,6 +1,6 @@
 {
     "name": "Nokia EDA in GitHub Codespaces",
-    "image": "ghcr.io/eda-labs/codespaces/base:main",
+    "image": "ghcr.io/eda-labs/codespaces/base:retry-make",
     "features": {
         "ghcr.io/devcontainers/features/docker-in-docker:2": {
             "version": "latest",
@@ -10,7 +10,8 @@
     "customizations": {
         "vscode": {
             "extensions": [
-                // "ms-kubernetes-tools.vscode-kubernetes-tools",
+                "zongou.vs-seti-jetbrainsmononerdfont",
+                "ms-kubernetes-tools.vscode-kubernetes-tools",
                 "eda-labs.vscode-eda"
             ],
             "settings": {
@@ -20,7 +21,9 @@
                         "path": "/bin/zsh"
                     }
                 },
-                "terminal.integrated.fontFamily": "'JetBrainsMono Nerd Font', 'JetBrainsMono NF', monospace",
+                "editor.fontLigatures": true,
+                "terminal.integrated.fontLigatures.enabled": true,
+                "terminal.integrated.fontFamily": "'JetBrainsMonoNL Nerd Font Mono', 'JetBrainsMonoNL Nerd Font', 'JetBrainsMono Nerd Font Mono', 'JetBrainsMono Nerd Font', 'Droid Sans Mono', 'monospace', monospace",
                 "vscode-eda.edaTargets": {
                     "https://127.0.0.1:9443": {
                         "edaUsername": "admin",

.devcontainer/postCreate.sh

@@ -5,4 +5,5 @@ cd $EDA_PLAYGROUND_DIR
 
 ensure-docker-is-ready
 
-make try-eda NO_KIND=yes NO_LB=yes KPT_SETTERS_FILE=/eda-codespaces/codespaces-4vcpu-kpt-setters.yaml
+# Run make with 120s inactivity timeout, retry up to 3 times
+run-with-inactivity-timeout 120 3 make try-eda NO_KIND=yes NO_LB=yes KPT_SETTERS_FILE=/eda-codespaces/codespaces-4vcpu-kpt-setters.yaml

.devcontainer/utils.sh

@@ -6,4 +6,98 @@ function ensure-docker-is-ready {
         sleep 1
     done
     echo "Docker is ready"
+}
+
+# Run a command with inactivity timeout - restarts if no output for specified seconds
+# Usage: run-with-inactivity-timeout <timeout_seconds> <max_retries> <command> [args...]
+function run-with-inactivity-timeout {
+    local timeout_seconds=$1
+    local max_retries=$2
+    shift 2
+    local cmd=("$@")
+    local attempt=0
+
+    while [ $attempt -lt $max_retries ]; do
+        attempt=$((attempt + 1))
+        echo "=== Attempt $attempt/$max_retries: ${cmd[*]} ==="
+
+        # Create marker file and pid file
+        local marker_file=$(mktemp)
+        local pid_file=$(mktemp)
+        touch "$marker_file"
+
+        # Run in a subshell that writes its PID, then execs the command
+        # Output goes through unbuffered to a while loop
+        (
+            echo $BASHPID > "$pid_file"
+            exec stdbuf -oL -eL "${cmd[@]}" 2>&1
+        ) | while IFS= read -r line; do
+            echo "$line"
+            touch "$marker_file"
+        done &
+        local pipe_pid=$!
+
+        # Wait briefly for PID file to be written
+        sleep 0.5
+        local cmd_pid=$(cat "$pid_file" 2>/dev/null)
+
+        local timed_out=false
+
+        # Monitor loop - check marker file modification time
+        while kill -0 $pipe_pid 2>/dev/null; do
+            sleep 5
+
+            # Get seconds since marker was last modified
+            local now=$(date +%s)
+            local last_mod=$(stat -c %Y "$marker_file" 2>/dev/null || echo "$now")
+            local idle_time=$((now - last_mod))
+
+            if [ $idle_time -ge $timeout_seconds ]; then
+                timed_out=true
+                echo ""
+                echo "=== No output for ${idle_time}s (timeout: ${timeout_seconds}s). Killing processes... ==="
+
+                # Kill the actual command first (most important)
+                if [ -n "$cmd_pid" ]; then
+                    pkill -9 -P $cmd_pid 2>/dev/null || true
+                    kill -9 $cmd_pid 2>/dev/null || true
+                fi
+
+                # Kill the pipe
+                pkill -9 -P $pipe_pid 2>/dev/null || true
+                kill -9 $pipe_pid 2>/dev/null || true
+
+                # Kill any kpt processes
+                pkill -9 -f "kpt live apply" 2>/dev/null || true
+                pkill -9 -f "kpt live" 2>/dev/null || true
+
+                echo "=== Processes killed ==="
+                break
+            fi
+        done
+
+        wait $pipe_pid 2>/dev/null
+        local exit_code=$?
+
+        rm -f "$marker_file" "$pid_file"
+
+        if [ "$timed_out" = false ]; then
+            if [ $exit_code -eq 0 ]; then
+                echo "=== Command completed successfully ==="
+                return 0
+            else
+                echo "=== Command failed with exit code $exit_code ==="
+                return $exit_code
+            fi
+        fi
+
+        # Timed out - retry
+        if [ $attempt -lt $max_retries ]; then
+            echo "=== Retrying in 5 seconds... ==="
+            sleep 5
+        fi
+    done
+
+    echo "=== Command failed after $max_retries attempts ==="
+    return 1
 }