From 56469051b8782ee0e6a173a0df3c7cd2e18f8c37 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Fri, 26 Jan 2024 21:07:24 +0200
Subject: [PATCH] SSH config: Use port 443 for ns1.shore.co.il.

New development, use the HTTPS port! Allows to break through firewalls
and restricted networks.
---
 .ssh/config.d/20_shore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.ssh/config.d/20_shore b/.ssh/config.d/20_shore
index 33c5e21..b61ba88 100644
--- a/.ssh/config.d/20_shore
+++ b/.ssh/config.d/20_shore
@@ -2,8 +2,11 @@
 # vim:ft=sshconfig
 # shore.co.il infrastructure
 
+Host ns1.shore.co.il
+    Port 443
+
 Host host01.shore.co.il kodi.shore.co.il ea6350.shore.co.il git.shore.co.il
-    ProxyCommand ssh ns1.shore.co.il -W %h:%p
+    ProxyCommand ssh -p 443 ns1.shore.co.il -W %h:%p
 
 Host host01.shore.co.il ns4.shore.co.il
     LocalForward 9090 localhost:9090
-- 
GitLab