# shellcheck shell=bash key="$HOME/.ssh/ssh_personal_ed25519_key" if [[ "$*" == *"git@github.com"* ]]; then if [[ "$*" == *"sas-institute-rnd-product/"* || "$*" == *"sas-institute-rnd-internal/"* || "$*" == *"sas-institute-rnd-pipeline-test/"* || "$*" == *"_sasinst/"* ]]; then key="$HOME/.ssh/ssh_sas_ed25519_key" fi exec ssh -i "$key" "$@" fi exec ssh "$@"