From 5ed7761f654e7378d160158dcef4d7505d0ad4ca Mon Sep 17 00:00:00 2001 From: DOMjudge team Date: Sun, 14 Apr 2024 10:35:56 +0200 Subject: [PATCH] Include local config snippet from SSH config This allows both making local changes that do not get overwritten and still distributing changes via ansible. Note that ideally any specific additions should be done above the include, so that the local snippet can override them. --- provision-contest/ansible/roles/ssh/files/config | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/provision-contest/ansible/roles/ssh/files/config b/provision-contest/ansible/roles/ssh/files/config index 3e810449..774a3847 100644 --- a/provision-contest/ansible/roles/ssh/files/config +++ b/provision-contest/ansible/roles/ssh/files/config @@ -1,5 +1,10 @@ +# This file is managed by ansible, so any changes you make here will +# get overwritten in the next ansible run. If you want to make local +# changes, do this in the following include snippet. +Include ~/.ssh/config-local + # Defaults used if no other host definitions apply. # Add more host specific settings above here. Host * - NoHostAuthenticationForLocalhost yes - ForwardAgent yes + NoHostAuthenticationForLocalhost yes + ForwardAgent yes