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 #