bin/start-ssh-agent: Don't proceed if the SSH programs aren't around.

[profile] / bin / start-ssh-agent

diff --git a/bin/start-ssh-agent b/bin/start-ssh-agent
index d5389d8..88fd657 100755 (executable)
--- a/bin/start-ssh-agent
+++ b/bin/start-ssh-agent
@@ -29,6 +29,12 @@ case $chosen,$style in
     ;;
 esac
 
+## Check that this stands a chance of working.
+if ! type >/dev/null 2>&1 ssh-agent || ! type >/dev/null >&1 ssh-add; then
+  echo >&2 "$0: ssh not installed; chickening out"
+  exit 1
+fi
+
 ## Some useful variables.
 hostname=${HOST-$(hostname)}
 user=${USER-${LOGNAME-$(id -un)}} uid=${UID-$(id -u)}