Just a thought: why don't you just use two different aliases for the Server in your .ssh/config with your two differing ssh keys, that way you can just use two different "hostnames" that have different ssh keys specified
.ssh/config
Just a thought: why don't you just use two different aliases for the Server in your
.ssh/configwith your two differing ssh keys, that way you can just use two different "hostnames" that have different ssh keys specified