From 8a8ee29e4fb91ec9e100b6f1636cab8ea649ef94 Mon Sep 17 00:00:00 2001
From: Dmitry Ilvokhin <d@ilvokhin.com>
Date: Wed, 22 Jan 2025 22:53:11 +0000
Subject: Explicitly specify user in ssh config

I don't have same user on every system, so this change makes it portable
across all of them and doesn't cost much in terms of maintenance.
---
 misc/dotfiles/ssh/config.j2 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/misc/dotfiles/ssh/config.j2 b/misc/dotfiles/ssh/config.j2
index aa11c43..f0c6c74 100644
--- a/misc/dotfiles/ssh/config.j2
+++ b/misc/dotfiles/ssh/config.j2
@@ -7,6 +7,7 @@ Host *
 
 Host shell gate sun mail
     Hostname %h.ilvokhin.com
+    User d
     ForwardAgent yes
 
 # Moscow machines behind NAT.
-- 
cgit v1.2.3-70-g09d2