From 726c6b0cf43a7f9f69513f9b9c8cf0c2bba179aa Mon Sep 17 00:00:00 2001
From: Sven Wick <swick@thinkcentre.gnu.local>
Date: Mon, 14 Aug 2017 19:54:10 +0200
Subject: [PATCH] forgot to document the port option

---
 ssh-ping | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ssh-ping b/ssh-ping
index 493334d..8437eca 100755
--- a/ssh-ping
+++ b/ssh-ping
@@ -79,6 +79,7 @@ cat << EOF
      -l user        Try login with <user> as username. The default is \$USER.
      -D             Print timestamp (unix time + microseconds as in gettimeofday) before each line
      -W timeout     Time to wait for a response, in seconds
+     -p port        Port to connect to on the remote host. This can be specified on a per-host basis in the configuration file.
      -q             Quiet output.  Nothing is displayed except the summary lines at startup time and when finished
      -v             Verbose output