Allow local ssh config modifications

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"
 }