chiark
/
gitweb
/
~cjwatson
/
bin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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
--- a/
ssh-agent-shell
+++ /dev/null
@@
-1,6
+0,0 @@
-#! /bin/sh
-if [ -z "$SSH_AGENT_PID" ]; then
- exec ssh-agent bash "$@"
-else
- exec bash "$@"
-fi