[profile] / bin / add-ssh-keys

#! /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
Commit	Line	Data
6ffd4490 MW	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