From 0fb4017aa1b3123025ee917ac3b556a8c522993e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Wed, 18 Oct 2017 12:22:52 +0200
Subject: [PATCH] Allow local ssh config modifications

---
 network/ssh/setup.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/network/ssh/setup.sh b/network/ssh/setup.sh
index 4c7e9a8..15bdc2b 100755
--- a/network/ssh/setup.sh
+++ b/network/ssh/setup.sh
@@ -11,7 +11,11 @@ function main()
   # cp ${KEYFILE} ~/.ssh/thomas_rsa
   # chmod 400 ~/.ssh/thomas_rsa
   # ssh-add -K ~/.ssh/thomas_rsa
-  linkfile ${scriptdir}/config ${HOME}/.ssh/config
+  if [ ! -f "${HOME}/.ssh/config" ]; then
+    cat << EOF > "${HOME}/.ssh/config"
+Include ${scriptdir}/config
+EOF
+  fi
 
   print_ok "SSH settings installed"
 }