mdw@git.distorted.org.uk Git - profile/blob - bin/add-ssh-keys

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