Remove .sh ext

2026-09-27 14:48:17 +00:00 · 2020-01-02 15:57:06 +00:00
parent 539d248dc2
commit 8a8eb3a7f3
6 changed files with 34 additions and 3 deletions
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+if [ ! -z "$SSH_AGENT_PID" ]; then
+	ssh-agent -k
+	exit $?
+elif [ -f "/tmp/ssh-agent-id" ]; then
+	SSH_AGENT_PID=$(cat /tmp/ssh-agent-id)
+	ssh-agent -k
+	exit $?
+else
+	echo "SSH_AGENT_PID not set, /tmp/ssh-agent-id doesn't exist!" 1>&2
+	exit 1
+fi