From d1dcbafceb2adc7c78366432c8947a50dcf6eed6 Mon Sep 17 00:00:00 2001
From: q <q@moonq.org>
Date: Tue, 7 May 2019 07:31:32 +0300
Subject: [PATCH] exotic ports not handled by remover

---
 web/ssh-remove-known-host | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/web/ssh-remove-known-host b/web/ssh-remove-known-host
index 77d847a..c3fbfa4 100755
--- a/web/ssh-remove-known-host
+++ b/web/ssh-remove-known-host
@@ -15,22 +15,23 @@ done
 [[ -z "$HOST" ]] && helpexit
 
 REALHOST=$( ssh -G "$HOST" 2> /dev/null | awk '/^hostname / { print $2 }' )
+PORT=$( ssh -G "$HOST" 2> /dev/null | awk '/^port / { print $2 }' )
 [[ -z "$REALHOST" ]] && REALHOST="$HOST"
 IP=$( getent hosts "$REALHOST" | awk '{ print $1 }' )
 
 [[ "$FORCE" -ne 1 ]] && {
-  echo "Sure to remove ${REALHOST} (IP: ${IP}) from known_hosts? [y/N]"
+  echo "Sure to remove ${REALHOST}:${PORT} (IP: ${IP}) from known_hosts? [y/N]"
   read resp
 } || {
   resp=y
 }
 
 [[ "$resp" = "y" ]] && {
-  echo ssh-keygen -R "$REALHOST"
-  ssh-keygen -R "$REALHOST"
+  echo ssh-keygen -R "[$REALHOST]:$PORT"
+  ssh-keygen -R "[$REALHOST]:$PORT"
   [[ -n "$IP" ]] && {
-    echo ssh-keygen -R "$IP"
-    ssh-keygen -R "$IP"
+    echo ssh-keygen -R "[$IP]:$PORT"
+    ssh-keygen -R "[$IP]:$PORT"
   }
 }