From 71adb7981ce9a30c4ba35e7bd6192feb8c27707b Mon Sep 17 00:00:00 2001 From: fro Date: Mon, 10 Nov 2025 10:49:25 -0500 Subject: [PATCH] + ssh config --- dots/ssh/config | 10 ++++++++++ scripts/99_deploy.sh | 5 +++++ 2 files changed, 15 insertions(+) create mode 100644 dots/ssh/config diff --git a/dots/ssh/config b/dots/ssh/config new file mode 100644 index 0000000..0afb7d4 --- /dev/null +++ b/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 +# User differentusername +# IdentityFile ~/.ssh/identity_file2 + +Host quickSilver + HostName 46.62.245.126 + IdentityFile ~/.ssh/251110_quickSystems diff --git a/scripts/99_deploy.sh b/scripts/99_deploy.sh index 3025565..ef2f34b 100755 --- a/scripts/99_deploy.sh +++ b/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 #