Host agendacloud
	HostName agendacloud.it
	User agendacloud
	IdentityFile ~/.ssh/id_ed25519

Host rpi
	HostName rpi
	User daniele
	IdentityFile ~/.ssh/id_ed25519

Host ctf-vm
	HostName ctf-vm
	User daniele
	IdentityFile ~/.ssh/id_ed25519

Host ubuntu-ctf
	HostName 192.168.122.124
	User daniele
	IdentityFile ~/.ssh/id_ed25519

