#! /bin/sh -e

## An ugly hack: figure out the available SSH keys and feed them to the agent
## in preference order, because the default order is wrong and there doesn't
## seem to be any other way to fix this.
unset ff
for k in id_ed25519 id_rsa id_ecdsa id_dsa id_identity; do
  if [ -f $HOME/.ssh/$k ]; then ff=$ff${ff+ }$HOME/.ssh/$k; fi
done
exec ssh-add $ff