From 987d6865551867d88352fa9a16687310696b3e22 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Sat, 29 Feb 2020 08:32:39 +0100
Subject: [PATCH] shell: ssh_config: add UpdateHostKeys

---
 shell/ssh_config | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/shell/ssh_config b/shell/ssh_config
index 69bc197..e1ae5f7 100644
--- a/shell/ssh_config
+++ b/shell/ssh_config
@@ -135,6 +135,9 @@ Host *
 # are stored in the shell's history file or in this file as shortcut so it's
 # rather useless (default).
     HashKnownHosts no
+# Ask to update the known hosts when the server sends additional host keys
+# (default, currently incompatible with ControlPersist).
+    UpdateHostKeys ask
 
 # Check host IP in known_hosts when connecting to detect DNS spoofing
 # (default).
-- 
2.43.2