From 0ecfc39cc561511bc69fe607b096ee6e916aa5f2 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Sat, 21 Nov 2020 17:05:04 +0200
Subject: [PATCH] SSH config for my workbench.

---
 .ssh/config.d/20_shore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.ssh/config.d/20_shore b/.ssh/config.d/20_shore
index eebaac9..c014a45 100644
--- a/.ssh/config.d/20_shore
+++ b/.ssh/config.d/20_shore
@@ -20,6 +20,10 @@ IdentityFile ~/Documents/Shore/gitlab_ed25519
 Host cgit.shore.co.il
 HostName host01.shore.co.il
 
+Host workbench.shore.co.il
+HostName ns4.shore.co.il
+Port 2222
+
 Host *.shore.co.il 192.168.3.*
 IdentityFile ~/Documents/Shore/shore_ecdsa
 IdentityFile ~/Documents/Shore/shore_rsa
-- 
GitLab