+ ssh config

dots/ssh/config

@@ -0,0 +1,10 @@
+# https://serverfault.com/questions/295768/how-do-i-connect-to-ssh-with-a-different-public-key ➔
+#
+# Host Host2
+#   HostName <hostname_or_ip2>
+#   User differentusername
+#   IdentityFile ~/.ssh/identity_file2
+
+Host quickSilver
+  HostName 46.62.245.126
+  IdentityFile ~/.ssh/251110_quickSystems

scripts/99_deploy.sh

@@ -217,6 +217,11 @@ if [ ${operation} == "dots" ] ; then
     file_path=/home/${system_user}
     deploy_file "${dots_trg}/pacman/${file_name}" "${file_path}/${file_name}"
 
+    # ssh
+    file_name=config
+    file_path=/home/${system_user}/.ssh
+    deploy_file "${dots_trg}/ssh/${file_name}" "${file_path}/${file_name}"
+
     # ----------
     # printing
     #