ppg-ssh

   1 #!/bin/bash
   2 #
   3 # Trivial rapper to control ssh options to be used with
   4 # GIT_SSH envvar/
   5 #
   6 if [[ -n "${PPG_DEBUG}" ]]; then
   7         set -x
   8 fi
   9
  10 exec ssh -o ConnectTimeout=10 "$@"