From 80d5d36b004d59e2e0a455fa08303eb5e84b175a Mon Sep 17 00:00:00 2001
From: Dmitry Ilvokhin <d@ilvokhin.com>
Date: Sat, 18 Jan 2025 20:12:26 +0000
Subject: Allow forward ssh key to DigitalOcean hosts

I don't really need key forwarding everywhere, only for gate and shell,
but I figured this will simplify configuration a bit. If something goes
wrong, it can always become more strict in the future.
---
 misc/dotfiles/ssh/config.j2 | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'misc')

diff --git a/misc/dotfiles/ssh/config.j2 b/misc/dotfiles/ssh/config.j2
index 8a8ad72..aa11c43 100644
--- a/misc/dotfiles/ssh/config.j2
+++ b/misc/dotfiles/ssh/config.j2
@@ -5,12 +5,9 @@ Host *
     AddKeysToAgent yes
 {% endif %}
 
-Host gate
-    Hostname gate.ilvokhin.com
-    ForwardAgent yes
-
-Host shell sun mail
+Host shell gate sun mail
     Hostname %h.ilvokhin.com
+    ForwardAgent yes
 
 # Moscow machines behind NAT.
 Host flame
-- 
cgit v1.2.3-70-g09d2