chiark / gitweb /
remove ssh-agent-shell, no longer used
[bin.git] / ssh-agent-shell
diff --git a/ssh-agent-shell b/ssh-agent-shell
deleted file mode 100755 (executable)
index 3007c4e..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-#! /bin/sh
-if [ -z "$SSH_AGENT_PID" ]; then
-    exec ssh-agent bash "$@"
-else
-    exec bash "$@"
-fi