SSH_AGENT_PID

drevops · Sep 7, 2024 · 49b8daf · 49b8daf
1 parent 77cb845
commit 49b8daf
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -358,9 +358,9 @@ jobs:
 
  timeout-minutes: 30
 
- - name: Setup tmate session
- if: always()
- uses: mxschmitt/action-tmate@v3
- timeout-minutes: 5
- with:
- detached: true
+# - name: Setup tmate session
+# if: always()
+# uses: mxschmitt/action-tmate@v3
+# timeout-minutes: 5
+# with:
+# detached: true
diff --git a/scripts/vortex/setup-ssh.sh b/scripts/vortex/setup-ssh.sh
@@ -87,7 +87,7 @@ fi
 note "Using SSH key file ${file}."
 export "${file_var}=${file}"
 
-if [ -z "${SSH_AGENT_PID:-}" ]; then
+if [ -z "${SSH_AGENT_PID:-}" ] || ! ps -p "$SSH_AGENT_PID"; then
  note "Starting SSH agent."
  eval "$(ssh-agent)"
 fi