#!/bin/sh
cd "$HOME"/.ssh &&
exec \
ssh-add ${1+"$@"} \
	id_ed25519.Michael_Paoli \
	id_rsa.Michael_Paoli \
	id_rsa.balug.org. \
	id_rsa.linuxmafia.com.